points-to-partitions: a more consistent fix for --discard option