simple constraint handling rules