The main peculiarity about this solution is that on this case we had a complex input type, where a transition on an inner element may influence the state on the outer element.

For example, given the following structure:

- A1 (state=1)

-- B1 (state=2)

--- C1 (state=5)

-- B2 (state=3)

If the state of C1 changes, then this change should be considered by the B predicates, and so should the A predicates.

After all, for the example in specific we are returning all the updated statuses in a list, as in our case we needed to show what was the difference on the overall state after the execution.