- Annotations regarding optimization options

Clocks-Test-10.xml

@@ -420,12 +420,14 @@ client_clock_correction := 0</label>
 			<source ref="id15"/>
 			<target ref="id16"/>
 			<label kind="synchronisation" x="8" y="274">packet_loss?</label>
+			<label kind="comments" x="-17" y="255">Can this be deleted?</label>
 		</transition>
 		<transition>
 			<source ref="id17"/>
 			<target ref="id15"/>
 			<label kind="guard" x="136" y="90">propagation &gt;= network_delay_min</label>
 			<label kind="assignment" x="136" y="106">propagation := 0</label>
+			<label kind="comments" x="170" y="127">Implement this via server_clock_counter?</label>
 		</transition>
 		<transition>
 			<source ref="id16"/>
@@ -504,6 +506,9 @@ server_tb := 0,
 server_bc_interval := server_interval_counter,
 msg_network_bc_interval[i] := server_bc_interval,
 server_bc_interval := 0</label>
+			<label kind="comments" x="17" y="467">Propagation size could be decreased (optimization).
+
+Maybe implement this via server_clock_counter?</label>
 			<nail x="408" y="410"/>
 			<nail x="408" y="138"/>
 		</transition>