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