changing counter management, and adding edges to graphs
solving conflicts