>> Does the dependency management around the application of SmPL disjunctions >> need any further clarification? > > I already clarified it. The python code will only be executed if the > variables that it references have values. The criterion is not just > whether the rule r was matched. Thanks for this information. > To see that this is the case, all or you have to do is try it. Or read > the Coccinelle source code. I would prefer a software documentation format which can be easier to read. Regards, Markus