@Override public void visitVariable(final @NotNull PsiVariable variable) {
            super.visitVariable(variable);

            final PsiExpression init = variable.getInitializer();

            if (init != null) {
              system.addSubtypeConstraint(evaluateType(init, system), getType(variable));
            }
          }
@Override public void visitVariable(final @NotNull PsiVariable variable)