Resolved TODOs
Ensure that nextPC is paired with nextMethodInfo when extending traceFormula (as the last and next insn may not be in the same method)