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