[clean up Fixer calls
John Meacham <john@repetae.net>**20050912235903] hunk ./Grin/PointsToAnalysis.hs 641
-            pp p | Just c <- constPos p = propegateValue c self
+            pp p | Just c <- constPos p = self `isSuperSetOf` value c
hunk ./Grin/PointsToAnalysis.hs 662
+                    dynamicRule p' $ \p -> do
+                        flip mapM_ (Map.toList $ getNodeArgs p) $ \ ((n,i),v) -> do
+                            a <- getArg n i
+                            a `isSuperSetOf` value v
hunk ./Grin/PointsToAnalysis.hs 673
-                                propegateValue z self
+                                self `isSuperSetOf` value z
hunk ./Grin/PointsToAnalysis.hs 741
-                                Just arg -> propegateValue v arg
+                                Just arg -> arg `isSuperSetOf` value v