ok this is tricky: an extra parameter has to be passed into sv_insn_t::remap