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