@Override
    public void visitInstanceofExpression(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(GrInstanceOfExpression expression) {
   expression.getOperand().accept(this);
   processInstanceOf(expression);
 }