@Oscar (mostly)... ... does any of your code rely on this API? I know that Estatio doesn't use it, and I don't think it actually serves any purpose.
If it doesn't, am thinking of either making these methods no-ops, or (at least) deprecating them. FYI, the new InteractionContext service I've implemented fully captures the call-graph of nested/wrapped subactoins, moreover the push, peek and pop equivalents aren't exposed so this avoids the graph being "tampered" with. Anyway, can you advise? Thx Dan
