Fixed bug in cflow graph visualization (identical stmts at different
locations were seen as the same node)