fn transfer_swap(live: &mut BitVec, h_before: usize, depth: usize)
SWAP liveness: permute liveness of TOS and the swapped position.