Added tests to test if restricitons are included when predicate is true