assertTransition1.v