findSubsumed e@(Exists 1 r) d = find (\x -> case x of Fills r2 _ | r == r2 -> True
                                                      Exists n r2 | r == r2 && n >= 1 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Exists 1 r) d = find (\x -> case x of Fills r2 _ | r == r2 -> True
                                                      Exists n r2 | r == r2 && n >= 1 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Exists 1 r) d = find (\x -> case x of Fills r2 _ | r == r2 -> True
                                                      Exists n r2 | r == r2 && n >= 1 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d