Along the way:
- Simplified code to sharpen Cmp relations
- Do not remove unreachable code by using bit information anymore