Member predicate TranslatedLoad::toString

string toString()