Sync zipr with SMPStaticAnalyzer branch to fix crash in kill_deads.
Identically named branches for zipr and SMPStaticAnalyzer (branch names infinite_loop_fix) need to be tested and merged to solve SMPStaticAnalyzer issue 34.
Identically named branches for zipr and SMPStaticAnalyzer (branch names infinite_loop_fix) need to be tested and merged to solve SMPStaticAnalyzer issue 34.