add nonpositive/nonnegative predicates/handlers