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)