Lemma integerU8Vec2TWFDecidable : forall (t : integerU8Vec2T), {integerU8Vec2TWF t}+{~integerU8Vec2TWF t}.
