DESCRIPTION
Requirement: All artists always unregister before the program terminates.
Refinement: The program never terminates with an artist registered.
SPECIFICATION
Up to Chiron Decomposed Dispatcher (2 artists, 2 events)
Back to Property 8