Telefona gönder: Program Optimization Using Invariants