added support for quantified expr, loop_entry