missing encoding of polymorphism
On the following, a call to a prover requiring polymorphism to be encoded fails:
goal G0: (fun x -> x) 0 = 0
For instance:
> why3 prove -P cvc4 test.mlw
This type isn't supported:
'a -> 'a
smtv2: you must encode type polymorphism