Comments in front of ReceiveMessage alternative syntax for Message cause issues with resolution of the GateReferences
For example:
//basic response definition
pm::mpi receives OK() from X::mpi
gives an error but putting the comment below the receive does not.