Add support for generating constraints for simple replace operations