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?