Checks invariant 1 of the TokenUtils