Resolving Columns from Prelude

[DavePearce]

The following example compiles without problem:

(defcolumns X)
(module m1)
(defcolumns Y)
(defconstraint tmp () (vanishes! (* X Y)))

This should be an error, since are not permitted to mix columns in the same constraint from different modules. The generated wizard-iop is, for example:

func ZkEVMDefine(build *Builder) {
	//
	// Corset-computed columns
	//
	_prelude___X := build.RegisterCommit("X", build.Settings.Traces.Prelude)
	m1__Y := build.RegisterCommit("m1.Y", build.Settings.Traces.M1)

	//
	// Constraints
	//
	build.GlobalConstraint("m1.tmp", _prelude___X.AsVariable().Mul(m1__Y.AsVariable()))
}