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