SMS versenden: Removing Twins in Graphs to Break Symmetries