Invia SMS: Removing Twins in Graphs to Break Symmetries