Fix #77. Variable abstraction with multi-dim maps
Fix #77. Variable abstraction with multi-dim maps

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral