A new implementation of the WCP module should be merged into linea-constraints in the near future. This differs from that of other modules, as it is written in ZK assembly. This represents a fundamental shift in the way traces are managed: firstly, traces for assembly programs are field agnostic (meaning columns can have arbitrary width, such as 256bit); secondly, the trace need only include the function arguments and the result (which, for WCP, is INST, ARGUMENT_1, ARGUMENT_2 and RESULT).