MsgPat
type
ProtocolState
mkname
initialState
receiveMsg
sendMsg
receiveLMsg
lversion
synthesisPattern