e :: (Show ann, Typeable ann, MonadCatch m) => AnProcess ann -> m (S.Set ProcessPosition)
pfRange proc = do 
                  set <- pfRange' proc
                  return $ S.map fst  set

pfIn
pfRange :: (Show ann, Typeable ann, MonadCatch m) => AnProcess ann -> m (S.Set ProcessPosition)
pfRange proc = do 
                  set <- pfRange' proc
                  return $ S.map fst  set
pfRange proc = do 
                  set <- pfRange' proc
                  return $ S.map fst  set