Add data-flow path for each findings

[johspaeth]

For each finding, we want to output the set of statements (i.e., path) relevant for the data-flow propagation. A statement is relevant, if the propagated variable is used at the statement.