Stav dette: Program Optimization Using Invariants