Use precise information from the idx domain in partitioned arrays if no equivalent expression is available
Use precise information from the idx domain in partitioned arrays if no equivalent expression is available

(cherry picked from commit 1a4b6f0a3ea7d3e4de833ebbc0e3abb93e56145d)

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