Hybrid Acceleration -- Lookahead Widening -- Session 16. Tools Papers -- The Heuristic