Improve printing of predicate names