let find_current_other_options kf =
    try snd (FuncOptionTbl.find kf)
    with Not_found -> Parameter_map.empty_other