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