New patches:

[Operations.hs: make use of notElem and notMember
Eric Mertens <emertens@galois.com>**20071017174357] {
hunk ./Operations.hs 142
-                    >>= W.filter (not . flip M.member (W.floating ws))
-                    >>= W.filter (not . (`elem` vis))
+                    >>= W.filter (`M.notMember` W.floating ws)
+                    >>= W.filter (`notElem` vis)
}

Context:

[TAG 0.4
Spencer Janssen <sjanssen@cse.unl.edu>**20071016215343] 
Patch bundle hash:
7a03b5aebc7f335da25b37b35c9e8628fac0f0a8