- More broadcast optimization (still getting it to work with absolute time...

- More broadcast optimization (still getting it to work with absolute time limit imposed on server_broadcast behavior automaton)
  * Specifically: Trouble with out-of-bounds errors for some pairings of absolute broadcast repetitions vs. number of broadcast repetitions in succession on the client side

Clocks-Test-6.q

@@ -12,6 +12,11 @@ A[] deadlock imply (P_ClientBehavior.FINISH_PROCEDURE or P_ClientBehavior.FINISH
 
 /*
 
+*/
+A<> P_ClientBehavior.FINISH_PROCEDURE or P_ServerClock.FINISH or P_ServerClock.FINISH_CLOCKOUTOFBOUNDS
+
+/*
+
 */
 A<> P_ClientBehavior.FINISH_PROCEDURE or P_ClientBehavior.FINISH_TIMEOUT