fix a bug in get_liveness() and add pesudo-code for print. Looks pretty good now.