Bug fix in SequentialVMTransitions.isSatisfied()

Rewrite the method.