Holds if this
TranslatedExpr produces the final result of the original
expression from the AST.
For example, in
y = x;, the TranslatedLoad for the VariableAccess
produces the result of that VariableAccess expression, but the
x does not. The TranslatedVariableAccess
y does produce its result, however, because there is no load on