>>> How do you think about to increase the matching granularity >>> for this functionality? >> >> No idea what this means. Disjunctions are expanded up to the level of the >> nodes in the control-flow graph. > > We have got different expectations for working with such nodes > for possible (data flow) analysis.
Will the chances become better to clarify this functionality? Which software components are involved so far? Regards, Markus
