In the last coverage test of a large file, the ambiguity was 1673470 / 1486937 (~1.12)
So there are some ambiguity in the transducer.
Example:
