let apply_to_literals (subst: subst) (literals: (literal * int) list) : literal list =
  fst (apply_to_literals' subst literals [])