void (ConstraintFormula constraint) { if (myConstraintsCopy.add(constraint)) { if (constraint instanceof ExpressionCompatibilityConstraint && ignoreLambdaConstraintTree(((ExpressionCompatibilityConstraint)constraint).getExpression())) { LOG.error("Should have been stopped at lambda under overload guard"); } myConstraints.add(constraint); } }