dph-lifted-vseg: eliminate sharing in arrays during zipl