Changed leadsToContradiction()'s logic, makes red circles appear along
the path that leads to a contradiction.