Hi, 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 o

Hi, 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.