Add unit test for 'Conflicts with' constraint