let key_visible txt fm key =
    let visible = match fm with None -> true
      | Some fm -> Marks.key_visible fm key 
    in
    Sparecode_params.debug ~level:3 "%s : %a -> %b" 
      txt !Db.Pdg.pretty_key key visible;
    visible