Module E_ACSL.Quantif

Convert quantifiers.

The given predicate must be a quantification.

Forward references