How to set a global value during execution of a predicate

I see, thanks! It’s a bit complicated but I think I get it :slight_smile: