This kind of pattern is a good fit for SOL, but whether we can match it as generally as you'd like would depend on how important it is to understand the concurrent execution of those steps. Since concurrency tends to cause the event sequence to have non-linear ordering of steps, you'd have to wait for an enhancement to the match operation we're planning to work on later this year.

Feel free to reach out if you'd like to collaborate on a question like this -- it's possible SOL can already do much of what you're looking for.