Dependence graph: ensure grapht representation is consistent with domain#1577

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/dependence_graph_inconsistencysmowton/cbmc:smowton/fix/dependence_graph_inconsistencyCopy head branch name to clipboard