Add is_poly and is_var predicates.