Implement P17
Replace (= x 0) with zerop predicate