 -- | Combinators that are exclusive, i.e., only one child can be visited
-- isExclusive  (Cond _)     = True
-- isExclusive  (CondEq _ _) = True
-- isExclusive  (Lookup _ _) = True
-- isExclusive  _            = False

-- | Actions that are blocking
isBlockingAct :: SapicAction -> Bool
isBlockingAct Rep        = True
i
isBlockingAct :: SapicAction -> Bool
isBlockingAct Rep        = True
isBlockingAct Rep        = True