> [ 0.000000] (0:@) Check the liveness property promela
> [ 0.000000] (1:test@HostA) **** Start test ****
> [ 0.000000] (1:test@HostA) Increment local variable
> [ 0.000000] (0:@) Check the liveness property promela
> [ 0.000000] (1:test@HostA) **** Start test ****
> [ 0.000000] (1:test@HostA) Increment local variable