Allow configuration of data flow analysis

[sdibernardo]

Currently the data flow analysis provides a conservative approach (intersection operator) to finding data flow anomalies, sometimes leading to false positives. In some cases taking the union would improve the results, thus providing the choice between the meet operators could improve accuracy depending on the scenario.