let is_included m1 m2 =
match m1,m2 with
| T.Spare, T.Spare -> true
| T.Spare, T.Cav _ -> if is_bottom m2 then false else true
| T.Cav _, T.Spare -> if is_bottom m1 then true else false
| T.Cav d1, T.Cav d2 -> D.is_included d1 d2