StateMachine.move_one_step should check edges and pick the first edge which requirement the token satisfies

[DzyubSpirit]

StateMachine.move_one_step should not just pick the next node but rather a node on the other end of the edge for which the token fits

Node.find_edge should be rewritten to use Condition.satisfy method instead of compare token type and edge name