# MC: formula failed --- AF(FALSE)
# LE: language is not empty
# MC: formula passed --- AG(AF(bit2.carry_out=1))