val insert_quantifiers : Ast_popl.sequence -> Ast_popl.sequence