import ZipCfg
import Maybes
-import UniqSet
-- | Compute the predecessors of each /reachable/ block
zipPreds :: LastNode l => LGraph m l -> BlockEnv BlockSet
add_pred pair@(single, multi) id =
if elemBlockSet id multi then pair
else if elemBlockSet id single then
- (delOneFromUniqSet single id, extendBlockSet multi id)
+ (removeBlockSet single id, extendBlockSet multi id)
else
(extendBlockSet single id, multi)