@Override
    public void visitWhileStatement(@NotNull GrWhileStatement whileStatement) {
      if (myExpression.equals(whileStatement.getCondition())) {
        myResult = new TypeConstraint[]{new SubtypeConstraint(TypesUtil.getJavaLangObject(whileStatement), PsiTypes.booleanType())};
      }
    }
@Override
    public void visitWhileStatement(@NotNull GrWhileStatement whileStatement)