* Fixed reduce constraint
* Added debug printing