Predicate bounded_toString

Returns a string representation of obj. Because some classes have (mutually) recursive toString implementations, this predicate acts as a stop for these classes, preventing an unbounded toString from being materialized.