Fix DVRSet#substitute(): do not create self-disjoint DVRSet.