Our current assumption is that action sequences are always independent, this limitation is even mentioned in the dissertation of Dr-Ing. Stephan Seifermann. Now, @01Parzival10 figured out that this can quickly become a problem when allowing DFDs as input to our analysis. The current best solution is just to prohibit such models. However, for the long term, we should investigate alternative solutions.