أرسل هذا في رسالة قصيرة: Program Optimization Using Invariants