We currently hand compute PC_NEW. In Besu the program counter (and gas) are updated before calling tracePostExecution hook. However tracePostExecution isn't called at all if operationResult == null.

It seems there are 3 possibilities if we want to grab the updated program counter:

• current solution (hand computed)
• call tracePostExecution regardless of operationResult which may be undesirable for Besu
• add a Linea specific hook tracePostExecutionForLinea that triggers before the operationResult == null check

Note: we may require the naïve value of PC_NEW in all cases, exceptional or not, except for when the underlying opcode is a JUMP(I) in which case it's more complex.