Sasa does not stop execution on the first legitimate state on unison

I would expect Sasa to stop at the first legitimate state as it does with Dijkstra ring. However, even on the make test, it doesn't. As you can see, the second step is already legitimate, but the execution went through the whole 5 steps is had as timeout threshold. Maybe sasa should return an error when no legitimate state is encountered instead of exiting with 0 (except with an option maybe, otherwise the test2 would be unreproducible without an error).

$ make test1
sasa -l 5 fig41.dot -sd  -rif
 [sasa] The sasa random engine seed is set to 876107293
 ====> The Graph Diameter is 3 
#inputs 
#outputs "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "p8_c":int "Enab_p1_g":bool "Enab_p2_g":bool "Enab_p3_g":bool "Enab_p4_g":bool "Enab_p5_g":bool "Enab_p6_g":bool "Enab_p7_g":bool "Enab_p8_g":bool "p1_g":bool "p2_g":bool "p3_g":bool "p4_g":bool "p5_g":bool "p6_g":bool "p7_g":bool "p8_g":bool 

#seed 876107293
 1 2 1 6 3 2 4 1 t f t t t f t t t f t t t f t t 
 2 2 2 2 2 2 2 2 t t t t t t t t t t t t t t t t 
 3 3 3 3 3 3 3 3 t t t t t t t t t t t t t t t t 
 4 4 4 4 4 4 4 4 t t t t t t t t t t t t t t t t 
 5 5 5 5 5 5 5 5 t t t t t t t t t t t t t t t t 
 6 6 6 6 6 6 6 6 t t t t t t t t t t t t t t t t 
#q