Yes, solving this would allow a whole new world of reuse of state machines in new scenarios, perhaps. I mean, for example, that certain "machines" can well be integrated to serve the purpose of other machines.