In reply to hisingh:
As in your original example, you have a race condition whether the $finish executes before the 2 clock tick. But either way, the observed region never executes at time 15 to complete the antecedent.
In reply to hisingh:
As in your original example, you have a race condition whether the $finish executes before the 2 clock tick. But either way, the observed region never executes at time 15 to complete the antecedent.