When post fix-point run starts, the propagated state itself is not
updated: only its successors are. This issue is fixed in this commit