Debugging OclGPRM: turns out the bytecode for indexed instances is not unique per instance. So not an actual problem with the VM, but with the bytecode.