let find_all_unifiable (context: context) (literal: literal) : element list = let index = context.index#find literal in index#find_all_unifiable ~p_preserving:false literal.Term.atom