let param_visible ff_opt n = match ff_opt with
    | Isrc | Iproto -> true
    | Iff (ff,_) -> visible_mark (Fct_slice.get_param_mark ff n)