Yes, we can "combine" easily by treating them like other registers - flush the known-state to the register when we hit DISABLE and otherwise just use the known-state when compiling the next instruction and set their known states to known-off.