Add COStateTransitionIsValid
COStateTransitionIsValid #2
COStateTransitionIsValid #3
Convert more tests to Kiwi