PtsSet now is a set of address, not a set of variables.