On Tue, Feb 13, 2007 at 04:11:52PM -0500, Frank Ch. Eigler wrote:
> 
> The decoder generator is fully automatic.  If you represent decodable
> bits without cheating, it will do a reasonable job.

I which that were the case.  Try to generate the decoder for the attached
file; it warns about one alledged Decoder ambiguity for j_L_r_r [$RC-noilink]
versus j_L_r_r [$RC-ilink] .  The values for $RC-ilink and $RC-noilink are
disjoint.  I've also tried to use a decode-split on this problem, but to
no avail.