PropInst: refactored CmdRule instrumentation
PropInst: refactored CmdRule instrumentation

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