Added ForAllQuantifier tests.