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