MAYBE
Termination/nontermination proof failed
Errors: