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