let get_function_strategies ?(assigns=WithAssigns) kf =
  get_strategies assigns kf [] None AllProps