New regression test for binding types.
Causal flows: optimization.
We detect when agents go back to their initial states and that their ancestor go do not flow outside, and remove the corresponding component.