icse15: Simplify SequenceDiagram_MAVO model