add 'pos', 'neg' and 'zero' predicates