--!TRACE start_section : end section; priority_section : if(simulation_time=9) then delete_precedence "T1/T2"; end if; end section; election_section : return max_to_index(tasks.priority); end section;