Member predicate TranslatedExpr::TranslatedAllocationSize::toString

string toString()