First step in eliminating the CarryDefIsUnused and CarryDefIsUsed predicates.