Predicate DefaultToString::bad

predicate bad(RefType t)