PropInst: bugfixes to ExprMatchVisitor
PropInst: bugfixes to ExprMatchVisitor

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