public void addConstraint(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);
    }
  }
public void addConstraint(ConstraintFormula constraint)