function generate_op_alias($details, &$body)
{
$this->var_alias[$details['as']] = $this->generate_variable_name($details['var']);
$this->generate_op_code($details['body'], $body);
unset($this->var_alias[$details['as']]);
}