ConstraintDefinitionUtils.java d4ccf180850f5e43ef1916567a600b9b3dd1635c GREEN
SMTTransformationUtils.java 054712f5a41519c1e32c82bdceb5cdb36819c78b GREEN
