Fix a bug in constraint handling.
Add test cases for constraint handling.
Enhance verification mechanism so that it doesn't complain of absense of prohibited tuples.