let select_func_lval_rw set mark ~rd ~wr ~scope ~eval kf =
  if Cilutil.StringSet.is_empty rd &&
    Cilutil.StringSet.is_empty wr
  then set
  else
    select_lval_rw set mark ~rd ~wr ~scope ~eval kf None