Ease the conversion of constraints
bug fix and more explicit error messages