dph-lifted-vseg: reformat Tuple2 module before we duplicate it