added direct call to quantifiers rewrite