pub fn compute_next_state( instr: &<PIC17 as Arch>::Instruction, address: <PIC17 as Arch>::Address, effect: &Effect<<PIC17 as Arch>::Address>, ctxs: &MergedContextTable) -> Vec<(<PIC17 as Arch>::Address, StateUpdate)>