set_init_points = mapM_ (\id -> setFact id ProcPoint)
(uniqSetToList procPoints)
procPoints' = fold_blocks add emptyBlockSet g
set_init_points = mapM_ (\id -> setFact id ProcPoint)
(uniqSetToList procPoints)
procPoints' = fold_blocks add emptyBlockSet g