Predicate Negativity::boundsCheckExpr

predicate boundsCheckExpr(Variable v, Expr cond)