test that a new CTMC has no transition because the initial state and the state of arrival are worth nil
test that a new CTMC has no transition because the initial state and the state of arrival are worth nil
UMMISCO/kendrick