Fix bug in constraint introduction#37

Open

thevangelist wants to merge 1 commit intogss:masterfrom

thevangelist:master

Commits on Dec 25, 2016

Fix bug in constraint introduction
Esa Juhana Lahikainen
committed