concrete StoreVariableStatement : Statement
{
VariableSymbol* reference destination in destination_vars;
Expression * owner value in source_ops;
};
| value | Right hand side. The result_type of this expression must be the unqualified type of the destination variable. |
| destination | Left hand side variable. |