let mk_bhv_implicit_fun_name kf ki b n =
  mk_name "FI_" kf ki b n ""