- Implemented overflow check elimination in type analysis