let is_space_subsumed (problem_literals: problem_literals)
    (context_unifier_space: context_unifier_space) : bool =

  problem_literals.subsumed_clauses.(context_unifier_space.Context_unifier.cus_id) <> -1