Goblint_solver.Td_simplified_refTop-down solver with side effects. Baseline for comparisons with td_parallel solvers (td_simplified_ref). This is the same as (td_simplified), but it uses records for solver that instead of multiple hashmaps.
module M = Messages