שליחה במסרון: Program Optimization Using Invariants