add VarPointsTo(?heap,?this)