assertNoTransition2.v