let
is_included o1 o2 =
(equal o1 (meet o1 o2))