[turn of conditional analysis temporarily
John Meacham <john@repetae.net>**20050913003305] hunk ./Grin/PointsToAnalysis.hs 649
-                conditionalRule (Set.member a . getNodes) p' $ do self `isSuperSetOf` t'
+                --conditionalRule (Set.member a . getNodes) p' $ do self `isSuperSetOf` t' -- TODO
+                self `isSuperSetOf` t'
hunk ./Grin/PointsToAnalysis.hs 656
-                    conditionalRule (Set.member a . getNodes) p' $ do self `isSuperSetOf` w'
+                    --conditionalRule (Set.member a . getNodes) p' $ do self `isSuperSetOf` w'  -- TODO
+                    self `isSuperSetOf` w'