Got it, thanks.
The output PLA is in the patent, as you probably saw. But the microinstr. PLA is not and judging from the disasm it is not the default one either. See for example line 0499, the comment "Y is also incremented by RSTR"