fix: consistent replacing alloc with register value and Call inst operand replacement; problem: branch inst influences fetching register value