let apply_to_literal_groups' (subst: hash_subst) (groups: (literal * int) list list) : literal list list =
  let mapping =
    VarTable.create 1024
  in
  let applied =
    List.fold_left
      (fun acc group ->
        apply_to_literals'' subst group mapping :: acc
      )
      []
      groups
  in
    List.rev applied