Simplified monomial and poly_tree by using nested predicates.