let get_function_strategies ?(assigns=WithAssigns) cfg =
  get_strategies assigns cfg None None AllProps