prerr_endline ("e piglio il rispettivo in :"^String.concat " "
(List.map (fun x -> CicPp.ppterm x) original_args));
(* look for args[regno] in saved_args *)
- let wanted = List.nth args (guess_recno uri) in (* args@l ? *)
+ let wanted = List.nth (args@l) (guess_recno uri) in
let rec aux n = function
| [] -> n (* DA CAPIRE *)
| t::_ when t = wanted -> n