Get :let to work with :dot command
When I do
:let nxtall union(ran(nxt))
and then
:dot expr_as_graph nxtall
I get the error
Error from ProB: Prolog said no.
2 errors:
Error: Unknown identifier "__jUpYtEr_rEsUlT__"
Error: Computing Value Dot Representation Failed for: /var/folders/j4/cxrp94290tdg3mgpvg8yjfdc0000gn/T/prob212377002641021170336.dot