NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 14: ___rho_2__0 == 1 and ___rho_5__post == 0 and a22_post == 1 and got_SIGHUP_0 == 1 and got_SIGHUP_post == 0 and tt1_0 == 0 and tt1_post == 0 and wakend_1 == 1 and wakend_post == 1
Errors: