@Override
    public void visitInstanceofExpression(@NotNull GrInstanceOfExpression expression) {
      final GrExpression operand = expression.getOperand();
      final GrTypeElement typeElement = expression.getTypeElement();
      if (typeElement == null) return;

      if (myExpression == operand) {
        final PsiType type = typeElement.getType();
        myResult = new TypeConstraint[]{new SupertypeConstraint(type, type)};
      }
    }
@Override
    public void visitInstanceofExpression(@NotNull GrInstanceOfExpression expression)