Characteristic predicate TranslatedExpr::TranslatedLoad::TranslatedLoad

TranslatedLoad()