(match NCicReduction.head_beta_reduce ~delta:max_int t with
| C.Match (_,_,C.Appl(C.Const(Ref.Ref(_,Ref.Con (_,_,leftno)))::kargs),[pat])->
let _,kargs = HExtlib.split_nth leftno kargs in
(match NCicReduction.head_beta_reduce ~delta:max_int t with
| C.Match (_,_,C.Appl(C.Const(Ref.Ref(_,Ref.Con (_,_,leftno)))::kargs),[pat])->
let _,kargs = HExtlib.split_nth leftno kargs in