 | next position to jump to
next :: (Num a, Ord a) => AnProcess ann -> S.Set [a]
next ProcessNull {} = S.empty
n
next :: (Num a, Ord a) => AnProcess ann -> S.Set [a]
next ProcessNull {} = S.empty
next ProcessNull {} = S.empty