Fixed granted/forbidden tests, added test for multiple granted
constraints