When propagating equalities, eg replacing A with B in every basic block