[init] in range [1...3]: a1 [init] in range [1...3]: a2 [init] in range [1...3]: a3 [init] in range [3...1]: a3 [init] in range [3...1]: a4 [init] in range [3...1]: a0 [init] in range [3...1]: a1* [init] soonest(5) -> 0* [init] Test succeeded.