Predicates.IsZero with test; zero? as form in machine