- Implemented basic overflow check elimination