beginings of parsing constraints from Predicates