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