Added QuantifierChecker tests.