- fixing bugs in loop handling
- suppressing false alarms during loop unwinding.