First step towards more fine-grained predicate scoping