Evaluated proc execution_list {} {}