Tighten physical register invariants: Allocatable physical registers can