let _,lno,tl,_,i = NCicEnvironment.get_checked_indtys ref in
let _,_,_,cl = List.nth tl i in
let consno = List.length cl in
- let left, right = HExtlib.split_nth "NTS 1" lno args in
+ let left, right = HExtlib.split_nth lno args in
status, (ref, consno, left, right)
;;