Member predicate TranslatedCoreExpr::toString

string toString()