* RegisterAllocation _uses_ LiveVar analysis, instead of creating it's own copy