polishing predicates scalar benches