let create_slice proj kf = let ff, actions = Fct_slice.make_new_ff (M.get_kf_fi proj kf) true in add_proj_actions proj actions; ff