Added quantifier tree.