let compute kf stmt lv =
    match !Db.Scope.get_defs kf stmt lv with
      | None -> clear (); "[show_def] nothing found..."
      | Some (defs, undef) ->
          let msg = match undef with
            | None -> "[show_def] computed"
            | Some undef ->
                Pretty_utils.sfprintf "[show_def] notice that %a %s"
                  pretty_zone undef
                  "can be undefined by this function at this point"
          in
            ShowDefState.set defs; msg