Move from a StatePost for a single source state, represented as a pair of symbol and target state target.
StatePost
symbol
target
Contents: