Makes liveness analyzer instance for specific register.
Ensures that all the phi result registers for all the phis in the same basic
block interfere with ea
Runs register liveness algorithm for a method, updating the live in/out
information in SsaBasicBlock
The algorithm in Appel is presented in partial tail-recursion form. Obviously,
that's not efficient
"v is live-in at s."
"v is live-out at n."
"v is live-out at s."
From Appel algorithm 19.17.