+ Node.of_int((Node.to_int r) lsr 30)
+
+type conf = | C0 (* B(C) *)
+ | C1 (* B(C(y0)) *)
+ | C2 (* B(C, y0) *)
+ | C3 (* B(y0, C) *)
+ | C4 (* B(C(y0, y1)) *)
+ | C5 (* B(C(y0), y1) *)
+ | C6 (* B(y0, C(y1)) *)
+
+let get_conf (r : rhs) : conf =
+ (Obj.magic ((Node.to_int r) land 0b111))
+