let key_visible txt fm key =
    let visible = Marks.key_visible fm key in
      Sparecode_params.debug ~level:3 "%s : %a -> %s@\n"
        txt !Db.Pdg.pretty_key key (if visible then "true" else "false");
      visible