@Override
  protected InputOutputConstraintFormula createSelfConstraint(PsiType type, PsiExpression expression) {
    return new CheckedExceptionCompatibilityConstraint(expression, type);
  }
@Override
  protected InputOutputConstraintFormula createSelfConstraint(PsiType type, PsiExpression expression)