changed a comment
We need to be removing player from list inside AddImpliedEdges. Otherwise, we could make ourselves a contradiction