let compute_deferred (problem_literals: problem_literals) (candidate_type: Context_unifier.candidate_type) : unit =
  match candidate_type with
    | Context_unifier.Close
    | Context_unifier.CloseAssert
    | Context_unifier.All ->
        failwith "Problem_literals.compute_deferred"

    | Context_unifier.Assert
    | Context_unifier.Split ->
        compute_deferred' problem_literals candidate_type