When establishing dependencies between scenarios, when checking the branching construct dependencies towards object and identifier constructs we do this only if the options of the branching construct are not executed (e.g if it is a if-statement, the dependency will be traversed if either the if body or the else body are not executed; if both are executed the dependencies will not be followed).