let get_info kf_stmt_opt =
try
let zones, _ = ZonesState.get () in
match kf_stmt_opt with
| None -> "[zones] no information for this point"
| Some (_kf, stmt) ->
let z = !Db.Scope.get_zones zones stmt in
let txt =
Pretty_utils.sfprintf "[zones] needed before stmt %d = %a"
stmt.sid pretty_zone z
in txt
with Not_found -> ""