https://9dok.net/document/q7wkog2r-transforming-message-sequence-charts-for-testing.html