Predicate DefaultToString::alwaysDefaultToString

Holds if t, or any sub type of t, inherits the default ToString() method from System.Object or System.ValueType.

predicate alwaysDefaultToString(ValueOrRefType t)