Evaluated proc execution_list  {} {$::execution_list}