==> DEBUG: State reduction mode  : true
==> DEBUG: Number of conflicts   : 4
==> DEBUG: Number of transitions : 7

==> DEBUG: State reduction mode  : true
==> DEBUG: Number of conflicts   : 4
==> DEBUG: Number of transitions : 7