That's not how that works. Selecting a different token is not inherently erroneous. A correct solution can still be found despite divergence.