Tekstiviesti: Program Optimization Using Invariants