Made some useful progress.  Looks like minimisation is not the problem.  Rather, two automatas with different canonical forms may, in fact, accept the same set of input values.  This is something of an edge case which I don't believe will appear in the context of types.
Made some useful progress.  Looks like minimisation is not the problem.  Rather, two automatas with different canonical forms may, in fact, accept the same set of input values.  This is something of an edge case which I don't believe will appear in the context of types.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler