> [ 0.000000] (0:@) Check the liveness property promela_bugged1_liveness
> [ 0.000000] (2:client@Fafard) Ask the request
> [ 0.000000] (3:client@Boivin) Ask the request
> [ 0.000000] (0:@) Check the liveness property promela_bugged1_liveness
> [ 0.000000] (2:client@Fafard) Ask the request
> [ 0.000000] (3:client@Boivin) Ask the request