Printing of IDs leads to "userdata" in Lua
Lua apparently does not know about the id
type and does no nice pretty printing to IDs. It should print the numeric IDs instead of pointers to userdata. Ideally, it works just with integers, but just having a pretty printer is also okay.
Reproduce:
$ ./booleguru "(a & b)" :dotter
digraph {
userdata: 0x7fe7dc6bc228 [ label="&" ];
userdata: 0x7fe7dc8c6f78 -> userdata: 0x7fe7dc6afed0 [ label="l" ];
userdata: 0x7fe7dc8f2fc8 -> userdata: 0x7fe7dc8f30b0 [ label="r" ];
userdata: 0x7fe7dd247220 [ label="b" ];
userdata: 0x7fe7dd2357c8 [ label="a" ];
}
a & b