reflect better determinism thanks to
%@ c -- c2;
%@ c2 [label = "b", style=filled, fontname="courier bold", fillcolor=lightcyan];
%@ }
- %@ true
- %@ ; ...
+ %@ true.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
:- use_module(library(clpz)).
