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 -> ""