Evaluated proc execution_list {} {return $::execution_list}