findSubsumed e@(Fills rn c) d = find (\x -> case x of Fills rn2 c2 | rn == rn2 && c == c2 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Fills rn c) d = find (\x -> case x of Fills rn2 c2 | rn == rn2 && c == c2 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d
findSubsumed e@(Fills rn c) d = find (\x -> case x of Fills rn2 c2 | rn == rn2 && c == c2 -> True
                                                      And cs -> isJust $ findSubsumed e cs
                                                      _ -> False) d