pub fn is_stack_pivot_tail(instr: &Instruction) -> bool