https://www.graalvm.org/ 
abstract class com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 extends com.oracle.truffle.api.nodes.Node
  minor version: 0
  major version: 59
  flags: flags: (0x0420) ACC_SUPER, ACC_ABSTRACT
  this_class: com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4
  super_class: com.oracle.truffle.api.nodes.Node
{
  com.oracle.truffle.api.Assumption assumptions;
    descriptor: Lcom/oracle/truffle/api/Assumption;
    flags: (0x0000) 

  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
         0: .line 487
            aload 0 /* this */
            invokespecial com.oracle.truffle.api.nodes.Node.<init>:()V
            return
        end local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/AssumptionsTest$AssumptionInvalidateTest4;

  abstract int execute(int);
    descriptor: (I)I
    flags: (0x0400) ACC_ABSTRACT
    MethodParameters:
       Name  Flags
      value  

  public int s0(int);
    descriptor: (I)I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
        start local 1 // int value
         0: .line 495
            iload 1 /* value */
            ireturn
        end local 1 // int value
        end local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/oracle/truffle/api/dsl/test/AssumptionsTest$AssumptionInvalidateTest4;
            0    1     1  value  I
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.Specialization(assumptions = {"createAssumption()"})
    MethodParameters:
       Name  Flags
      value  

  com.oracle.truffle.api.Assumption createAssumption();
    descriptor: ()Lcom/oracle/truffle/api/Assumption;
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
         0: .line 499
            invokestatic com.oracle.truffle.api.Truffle.getRuntime:()Lcom/oracle/truffle/api/TruffleRuntime;
            invokeinterface com.oracle.truffle.api.TruffleRuntime.createAssumption:()Lcom/oracle/truffle/api/Assumption;
            astore 1 /* a */
        start local 1 // com.oracle.truffle.api.Assumption a
         1: .line 500
            aload 0 /* this */
            aload 1 /* a */
            putfield com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4.assumptions:Lcom/oracle/truffle/api/Assumption;
         2: .line 501
            aload 1 /* a */
            areturn
        end local 1 // com.oracle.truffle.api.Assumption a
        end local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lcom/oracle/truffle/api/dsl/test/AssumptionsTest$AssumptionInvalidateTest4;
            1    3     1     a  Lcom/oracle/truffle/api/Assumption;
}
SourceFile: "AssumptionsTest.java"
NestHost: com.oracle.truffle.api.dsl.test.AssumptionsTest
InnerClasses:
  abstract AssumptionInvalidateTest4 = com.oracle.truffle.api.dsl.test.AssumptionsTest$AssumptionInvalidateTest4 of com.oracle.truffle.api.dsl.test.AssumptionsTest
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.TypeSystemReference(value = Lcom/oracle/truffle/api/dsl/test/examples/ExampleTypes;)