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 == 255 and keA_1 == 0 and keA_post == 0 and keR_1 == 0 and keR_post == 0 and status_0 == 0 and status_1 == 1 and status_post == 0
Errors: