csc :: State
csc = (collectStates dummyCState (map mkComp [0..2])) `tagNode` "cc"
csc :: State
csc = (collectStates dummyCState (map mkComp [0..2])) `tagNode` "cc"
csc = (collectStates dummyCState (map mkComp [0..2])) `tagNode` "cc"