Class DemandCSPointsTo.VarContextAndUp