enhanced test to fail again
further tests for spontaneous transitions