changes in a Verifier.

Now verifier also checks the possible transitions and returns false if
some “illegal” transition is performed.