Characteristic predicate TranslatedExpr::TranslatedAssignment::TranslatedAssignment

TranslatedAssignment()