The register allocator shouldn't consider allocating reserved registers. PBQP version.