Split the instances correctly for each operation

[joseandro]

We probably want to keep the witness interpreter code mostly unchanged, and create traits to “extract” the individual instances from the columns and the list of constraints and lookups.