hooking in the SPL run-time safety monitor for state transistions