The following is Invalid µOCCAM. This is a bad program.
/public/cs3/web/ipptests-phase-1/badname.reject
SEQ a.name (7name[50],name[50 < 51]) PAR -- ho hoho