It doesn't seem any of these would be naturally be able to express the example case https://raw.githubusercontent.com/eras/tlsd/master/doc/sequence.svg https://

It doesn't seem any of these would be naturally be able to express the example case https://raw.githubusercontent.com/eras/tlsd/master/doc/sequence.svg https://raw.githubusercontent.com/eras/tlsd/master/doc/seque... . But maybe it's possible? In addition there's also the case of messages that are never processed, but I suppose that could be its own "never handled" box.