How to Add Cannot Produce Constraints