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