@Override public void visitAssignmentExpression(final @NotNull PsiAssignmentExpression expression) {
            super.visitAssignmentExpression(expression);

            system
              .addSubtypeConstraint(evaluateType(expression.getRExpression(), system), evaluateType(expression.getLExpression(), system));
          }
@Override public void visitAssignmentExpression(final @NotNull PsiAssignmentExpression expression)