SMS versenden: Program Optimization Using Invariants