Assert that the heur1 worklist does not run out. This turns the double-frees into...