concrete LoadVariableExpression : Expression ***
{
VariableSymbol * reference source in source_vars;
};
| source | specifies the variable symbol whose value is read. The result_type must match the unqualified type of the variable symbol. |