Anomaly when trying to locally open a non-imported module
When I try to "locally open" a module to evaluate an expression, if that module is not imported then Why3 fails with anomaly: Not_found
.
The following one-line program is enough in order to reproduce the problem:
let f (x: int) = Z.(x)