Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context