# instanceof type pattern

value instanceof String text;

==>

Program(
  ExpressionStatement(
    InstanceofExpression(
      Identifier,
      instanceof,
      TypePattern(TypeName, Definition))))

# annotated final instanceof type pattern

value instanceof final @A String text;

==>

Program(
  ExpressionStatement(
    InstanceofExpression(
      Identifier,
      instanceof,
      TypePattern(
        Modifiers(final, MarkerAnnotation(Identifier)),
        TypeName,
        Definition))))