Add example for nested state managers

[approxit]

As new state managers landed in ACE, it would be nice to include example for nested state managers. In impsbru I actually use this approach, so preparing example from it would be much easier.