let param_visible (fm,_) n =
    let key = PdgIndex.Key.param_key n () in
      key_visible "param_visible" fm key