module Selected: S
S
The approximation module constructed with the oracle selected by the command line options
val good : Node.t -> Node.t option
Node.t -> Node.t option
Returns a good approximation in the form of a candidate invariant if the oracle was able to find one.