2 Changes for Data Access Analysis. Updated --conflicts option to display data-access conflicts between triggers. Added --frontier option for displaying the 'frontier' of data-access conflicts in the AST
merge data access updates
Merge branch 'master' of https://github.com/DaMSL/K3-Driver