https://www.graalvm.org/ 
class com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue extends com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue
  super_class: com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
{
  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue this
         0: .line 565
            aload 0 /* this */
            invokespecial com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode.<init>:()V
            return
        end local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/AssumptionsTest$ErrorBoundDynamicValue;

  static int do1(int);
    descriptor: (I)I
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // int value
         0: .line 570
            iload 0 /* value */
            ireturn
        end local 0 // int value
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0  value  I
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.test.ExpectError(value = {"Assumption expressions must not bind dynamic parameter values."})
      com.oracle.truffle.api.dsl.Specialization(assumptions = {"createAssumption(value)"})
    RuntimeVisibleTypeAnnotations: 
      METHOD_RETURN
        com.oracle.truffle.api.dsl.test.ExpectError(value = {"Assumption expressions must not bind dynamic parameter values."})
    MethodParameters:
       Name  Flags
      value  

  com.oracle.truffle.api.Assumption createAssumption(int);
    descriptor: (I)Lcom/oracle/truffle/api/Assumption;
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue this
        start local 1 // int value
         0: .line 574
            invokestatic com.oracle.truffle.api.Truffle.getRuntime:()Lcom/oracle/truffle/api/TruffleRuntime;
            iload 1 /* value */
            invokestatic java.lang.String.valueOf:(I)Ljava/lang/String;
            invokeinterface com.oracle.truffle.api.TruffleRuntime.createAssumption:(Ljava/lang/String;)Lcom/oracle/truffle/api/Assumption;
            areturn
        end local 1 // int value
        end local 0 // com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/oracle/truffle/api/dsl/test/AssumptionsTest$ErrorBoundDynamicValue;
            0    1     1  value  I
    MethodParameters:
       Name  Flags
      value  
}
SourceFile: "AssumptionsTest.java"
NestHost: com.oracle.truffle.api.dsl.test.AssumptionsTest
InnerClasses:
  ErrorBoundDynamicValue = com.oracle.truffle.api.dsl.test.AssumptionsTest$ErrorBoundDynamicValue of com.oracle.truffle.api.dsl.test.AssumptionsTest
  public ValueNode = com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode of com.oracle.truffle.api.dsl.test.TypeSystemTest
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.NodeChild()