; generated MSC for Trace2UML