let is_included m1 m2 =
     match m1,m2 with
       | T.SpareT.Spare -> true
       | T.SpareT.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