Modified code so assumption can be checked from interpreter. Turns out we have a problem. TESTS.
Beginning work on a function that checks a relaxed assumption, ie whether glyphs occur in groups of two. In that case, the problem of the last assumption not being met is still manageable. NO TEST: just documentation and a signature so far.