AV: more changes to PropInst for aliasingQuery
AV: more changes to PropInst for aliasingQuery

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