Replace hashtables by lists for computing liveness