guardian-unregister

[Marc Nieper-Wißkirchen]

I may remove the guardian-unregister procedure from the specification as it
is not deterministic.

Comments?

Can you think of use cases that wouldn't work without guardian-unregister?

Marc