pCode live-range analysis algorithms have been added.