1 2
BadQuantifier.bpl(5,15): error: invalid QuantifierBody 1 parse errors detected in BadQuantifier.bpl