To define dependencies between different signatures, there are two conditions:
!
' negates the
condition: The current signature only matches if id does not
match for the same connection (this decision is necessarily deferred until
the connection terminates).
requires-signature
, but id has to match for the
other direction of the same connections than the current signature.
This allows to model the notion of requests and replies.