Prepare for possibility of changing expr acccording to which array is partitioned later
Prepare for possibility of changing expr acccording to which array is partitioned later

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer