FSM depth =                 41
reachable states =        1611
# LE: language is not empty
# MC: formula passed --- AG(TRUE)
# MC: formula failed --- AF(FALSE)
# LE: language is not empty
# MC: formula failed --- AF(FALSE)