Fixed bug: toplevel definitions were not abstracted over predicate variables.
Fixed bug: toplevel definitions were not abstracted over predicate variables.

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq