Added a test case for ANDing prohibits