Factor out constraintToDecls
Merge pull request #7 from nomeata/2014

Factor out constraintToDecls