https://www.graalvm.org/ 
abstract class com.oracle.truffle.api.dsl.test.BindExpressionTest$ErrorUseInAssumptionsNode 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.BindExpressionTest$ErrorUseInAssumptionsNode
  super_class: com.oracle.truffle.api.nodes.Node
{
  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.BindExpressionTest$ErrorUseInAssumptionsNode 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.BindExpressionTest$ErrorUseInAssumptionsNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/BindExpressionTest$ErrorUseInAssumptionsNode;

  abstract java.lang.Object execute(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Ljava/lang/Object;
    flags: (0x0400) ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      arg0  

  java.lang.Object s0(com.oracle.truffle.api.dsl.test.BindExpressionTest$TestObject, com.oracle.truffle.api.Assumption);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/BindExpressionTest$TestObject;Lcom/oracle/truffle/api/Assumption;)Ljava/lang/Object;
    flags: (0x0000) 
    Code:
      stack=1, locals=3, args_size=3
        start local 0 // com.oracle.truffle.api.dsl.test.BindExpressionTest$ErrorUseInAssumptionsNode this
        start local 1 // com.oracle.truffle.api.dsl.test.BindExpressionTest$TestObject a0
        start local 2 // com.oracle.truffle.api.Assumption assumption
         0: .line 495
            aload 1 /* a0 */
            areturn
        end local 2 // com.oracle.truffle.api.Assumption assumption
        end local 1 // com.oracle.truffle.api.dsl.test.BindExpressionTest$TestObject a0
        end local 0 // com.oracle.truffle.api.dsl.test.BindExpressionTest$ErrorUseInAssumptionsNode this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    1     0        this  Lcom/oracle/truffle/api/dsl/test/BindExpressionTest$ErrorUseInAssumptionsNode;
            0    1     1          a0  Lcom/oracle/truffle/api/dsl/test/BindExpressionTest$TestObject;
            0    1     2  assumption  Lcom/oracle/truffle/api/Assumption;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.test.ExpectError(value = {"Assumption expressions must not bind dynamic parameter values."})
      com.oracle.truffle.api.dsl.Specialization(assumptions = {"assumption"})
    RuntimeVisibleTypeAnnotations: 
      METHOD_RETURN
        com.oracle.truffle.api.dsl.test.ExpectError(value = {"Assumption expressions must not bind dynamic parameter values."})
    RuntimeInvisibleParameterAnnotations: 
      0:
      1:
        com.oracle.truffle.api.dsl.Bind(value = "a0.assumption")
    MethodParameters:
            Name  Flags
      a0          
      assumption  
}
SourceFile: "BindExpressionTest.java"
NestHost: com.oracle.truffle.api.dsl.test.BindExpressionTest
InnerClasses:
  abstract ErrorUseInAssumptionsNode = com.oracle.truffle.api.dsl.test.BindExpressionTest$ErrorUseInAssumptionsNode of com.oracle.truffle.api.dsl.test.BindExpressionTest
  TestObject = com.oracle.truffle.api.dsl.test.BindExpressionTest$TestObject of com.oracle.truffle.api.dsl.test.BindExpressionTest