Fixed for test25.c
TODO: handle the case where a register is used by a CALL, which then results in the previous function params needing update.
Updated due to changes to struct extension_call_s