reverse list iteration for liveness analysis