PredicateDefOperand -> OptionalDefOperand.