EE: exception for detecting inconsistent traces due to dropping havocs
EE: exception for detecting inconsistent traces due to dropping havocs

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