What if there's a cooldown: after robbing a node, you must skip at least one level before robbing again? Now you need three states: . = just skipped one level, = skipped two or more.
Transition: . . . This pattern generalizes: more constraints = more states. The tree structure stays the same; only the state tuple grows.