Cleanup and sharpen predicate evaluator specs