Refining and rechecking liveness; fixing things in PutDataEntries and ProcessSL functions