function generate_op_set($details, &$body)
{
$var = $this->generate_variable_name($details['var']);
$this->check_expr($details['expr']);
$body->decl_raw($var, $details['expr']);
$body->decl($this->getScopeVariable($var['var']), $var);
}