*** This is NuSMV 2.1.2 (compiled 2002-11-22 12:00:00)
*** For more information of NuSMV see <http://nusmv.irst.itc.it>
*** or email to <nusmv-users@irst.itc.it>.
*** Please report bugs to <nusmv-users@irst.itc.it>.
-- specification AG (!b0) is false
-- as demonstrated by the following execution sequence
-> State 1.1 <-
    b0 = 0
-> State 1.2 <-
    b0 = 1
