| Cic.Sort _ -> l
| Cic.Implicit _ -> l
| Cic.Var (u,exp_named_subst) ->
- let l' = inspect_uri main l u [] v term in
+ inspect_exp_named_subst l (succ v) exp_named_subst
+(*
+ let l' = inspect_uri main l u [] v term in
inspect_exp_named_subst l' (succ v) exp_named_subst
+*)
| Cic.Const (u,exp_named_subst) ->
let l' = inspect_uri main l u [] v term in
inspect_exp_named_subst l' (succ v) exp_named_subst