Fixed liveness calculation: we need the live arguments, not registers ...