NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 89: LData_post == 0 and LParity_post == 0 and LStop_post == 0 and Mask_post == 0 and ___const_255_0 == 0 and keA_1 == 0 and keA_post == 0 and keR_1 == 0 and keR_post == 0 and status_0 == 3 and status_1 == 1 and status_post == 3
Errors: