Number of columns on both sides of a lookup argument

[OlivierBBB]

It seems (though I'm not sure entirely which tests are being run on the CI) that corset didn't complain about a missing column in a lookup, see Consensys/linea-constraints@3094e96

• target provided with 6 columns
• source provided with only 5

If the compiler doesn't pick this up (and assuming that the CI actually attempts to produce the zkevm.bin object this is a bug.

[DavePearce]

This this does report an error:

(defcolumns X Y Z)
(deflookup test (Y) ((+ X 1) Z))

as does the opposite:

(defcolumns X Y Z)
(deflookup test (Y Z) ((+ X 1)))

[DavePearce]

@OlivierBBB where is the commit where you actually fixed this? The one above is not on any branch?