Add a simple constraint (close #1)