https://www.graalvm.org/ 
final class com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode extends com.oracle.truffle.api.instrumentation.ExecutionEventNode
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode
  super_class: com.oracle.truffle.api.instrumentation.ExecutionEventNode
{
  private final com.oracle.truffle.api.instrumentation.EventContext context;
    descriptor: Lcom/oracle/truffle/api/instrumentation/EventContext;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private boolean checked;
    descriptor: Z
    flags: (0x0002) ACC_PRIVATE
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.CompilerDirectives$CompilationFinal()

  void <init>(com.oracle.truffle.api.instrumentation.EventContext);
    descriptor: (Lcom/oracle/truffle/api/instrumentation/EventContext;)V
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
        start local 1 // com.oracle.truffle.api.instrumentation.EventContext context
         0: .line 309
            aload 0 /* this */
            invokespecial com.oracle.truffle.api.instrumentation.ExecutionEventNode.<init>:()V
         1: .line 310
            aload 0 /* this */
            aload 1 /* context */
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.context:Lcom/oracle/truffle/api/instrumentation/EventContext;
         2: .line 311
            return
        end local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    3     0     this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$LibraryChecker$LibraryCheckerNode;
            0    3     1  context  Lcom/oracle/truffle/api/instrumentation/EventContext;
    MethodParameters:
         Name  Flags
      context  

  protected void onReturnValue(com.oracle.truffle.api.frame.VirtualFrame, java.lang.Object);
    descriptor: (Lcom/oracle/truffle/api/frame/VirtualFrame;Ljava/lang/Object;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
        start local 1 // com.oracle.truffle.api.frame.VirtualFrame frame
        start local 2 // java.lang.Object result
         0: .line 315
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.checked:Z
            ifne 4
         1: .line 316
            invokestatic com.oracle.truffle.api.CompilerDirectives.transferToInterpreterAndInvalidate:()V
         2: .line 317
            aload 0 /* this */
            iconst_1
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.checked:Z
         3: .line 318
            aload 0 /* this */
            invokevirtual com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.check:()V
         4: .line 320
      StackMap locals:
      StackMap stack:
            return
        end local 2 // java.lang.Object result
        end local 1 // com.oracle.truffle.api.frame.VirtualFrame frame
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    5     0    this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$LibraryChecker$LibraryCheckerNode;
            0    5     1   frame  Lcom/oracle/truffle/api/frame/VirtualFrame;
            0    5     2  result  Ljava/lang/Object;
    MethodParameters:
        Name  Flags
      frame   
      result  

  protected void onReturnExceptional(com.oracle.truffle.api.frame.VirtualFrame, java.lang.Throwable);
    descriptor: (Lcom/oracle/truffle/api/frame/VirtualFrame;Ljava/lang/Throwable;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
        start local 1 // com.oracle.truffle.api.frame.VirtualFrame frame
        start local 2 // java.lang.Throwable exception
         0: .line 324
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.checked:Z
            ifne 4
         1: .line 325
            invokestatic com.oracle.truffle.api.CompilerDirectives.transferToInterpreterAndInvalidate:()V
         2: .line 326
            aload 0 /* this */
            iconst_1
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.checked:Z
         3: .line 327
            aload 0 /* this */
            invokevirtual com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.check:()V
         4: .line 329
      StackMap locals:
      StackMap stack:
            return
        end local 2 // java.lang.Throwable exception
        end local 1 // com.oracle.truffle.api.frame.VirtualFrame frame
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    5     0       this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$LibraryChecker$LibraryCheckerNode;
            0    5     1      frame  Lcom/oracle/truffle/api/frame/VirtualFrame;
            0    5     2  exception  Ljava/lang/Throwable;
    MethodParameters:
           Name  Flags
      frame      
      exception  

  private void check();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
         0: .line 332
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode.context:Lcom/oracle/truffle/api/instrumentation/EventContext;
            invokevirtual com.oracle.truffle.api.instrumentation.EventContext.getInstrumentedNode:()Lcom/oracle/truffle/api/nodes/Node;
            astore 1 /* rootNode */
        start local 1 // com.oracle.truffle.api.nodes.Node rootNode
         1: .line 333
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode$InstrumentableNodeInLibrary
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode$InstrumentableNodeInLibrary.<init>:()V
            aload 1 /* rootNode */
            invokevirtual com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode$InstrumentableNodeInLibrary.visit:(Lcom/oracle/truffle/api/nodes/Node;)Z
            pop
         2: .line 334
            return
        end local 1 // com.oracle.truffle.api.nodes.Node rootNode
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0      this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$LibraryChecker$LibraryCheckerNode;
            1    3     1  rootNode  Lcom/oracle/truffle/api/nodes/Node;
}
SourceFile: "VerifierInstrument.java"
NestHost: com.oracle.truffle.tck.instrumentation.VerifierInstrument
InnerClasses:
  public abstract CompilationFinal = com.oracle.truffle.api.CompilerDirectives$CompilationFinal of com.oracle.truffle.api.CompilerDirectives
  private LibraryChecker = com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  private final LibraryCheckerNode = com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode of com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker
  private final InstrumentableNodeInLibrary = com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode$InstrumentableNodeInLibrary of com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode