Constraint SequentialVMTransitions becomes Seq.