Fix display of predicate in checker help