Included test for liveness.
Improved comment.
Included 1989 POPL paper by Cytron et al.