EDIT: I think what you're doing here is criticising A by constructing A' and arguing that it is better (by having the same consequences while being less general). That is a good way of criticising the generalization as well.