Stav dette: Removing Twins in Graphs to Break Symmetries