fix printing of bool predicates