module type S = sig .. end
sig
end
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.