fixed bug in require constraint transformation rule
added and fixed example for dms