Message forwarding protocol.
Author: Paulo Moura
(no dependencies on other entities)
User-defined message forwarding handler, automatically called (if defined) by the runtime for any message that the receiving object does not understand.
Mode and number of proofs: