RTL slot allocator uses more precise, correct liveness information