Gate constraints must be always relative, copy constraints must be absolute.

[Iluvmagick]

This preferably needs to be checked inside the gate/copy constraint -- it should be impossible to build an "absolute" gate, or a copy constraint with relative variables. I have no idea how that is currently handled by the proof system.
Alternative is checking in the test bench, but that seems architecturally suboptimal.