reply is required in the handling of a valued (i.e.
void) trigger. It is also required in case a
(which in this case might be
void) is used in
mode; in that case the occurrence of the reply might be postponed. In
general this is hard to check statically. What can be checked is