let comparable x y = S.is_included x y || S.is_included y x