IR: Linearize no propagates state to the whole program