Fix group transition registration logging
If .ok or .halt "seals" subsequent calls.

Also complain if .ok or .halt is NOT called before .to
test coverage via coverify