major refactor : correct bug on creation of constraint