Predicate DefaultToString::explicitToStringCall

predicate explicitToStringCall(Expr e)