let
remove_from_subs n (ls,fv,ctr) =
((
List
.remove_assoc n ls),fv,ctr)