Trace loops and branches: final loop variable values, break and continue, switch fall-through, dangling else, nested loops and star patterns.