Predicate DefaultToString::directlyDeclaresToString

predicate directlyDeclaresToString(Class c)