[tomerv]

The path with that label is blocked unless the condition is fulfilled. I don't think it relies on any prior knowledge (at least nothing specific I can think of)

[starkd]

ahhh ok. It is a precondition. That helps!