Symbol: transfer_propagation