let select_func_lval_rw set mark ~rd ~wr ~scope ~eval kf =
  if Datatype.String.Set.is_empty rd && Datatype.String.Set.is_empty wr
  then set
  else select_lval_rw set mark ~rd ~wr ~scope ~eval kf None