let find_all_subsuming (context: context) (literal: literal) : element list =
  let index =
    context.index#find literal
  in
    index#find_all_generalizations ~p_preserving:true literal.Term.atom