Perform local copy propagation for a factored basic block.
Orthogonal to the copy propagation performed in Simple
since here we use flow-sensitive analysis within a basic block.
TODO: factor out common functionality in the various local propagation
phases?