Adds annotations for pattern expressions.
Ensures mailbox-clear returns void after invocation.