NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 14: ___rho_1__post == 0 and a33_post == 1 and got_SIGHUP_0 == 1 and got_SIGHUP_post == 0 and ret_XLogArchivingActive44_post == 0 and tmp2_post == 0 and tt1_0 == 0 and tt1_post == 0 and wakend_1 == 1 and wakend_post == 1
Errors: