((input#get.(0))#max input#get.(1))
| Min -> self#beam_of_ident n
((input#get.(0))#min input#get.(1))
+ | Shl -> self#beam_of_ident n
+ ((input#get.(0))#shl input#get.(1))
+ | Shr -> self#beam_of_ident n
+ ((input#get.(0))#shr input#get.(1))
| Prefix -> self#beam_of_ident n
((input#get.(1))#prefix input#get.(0))
| Select2 -> self#beam_of_ident n