Method clearPts

svf/include/MemoryModel/PersistentPointsToDS.h:250–253

    }

    void clearPts(const Key &var, const Data &element) override
    {
        return persPTData.clearPts(var, element);
    }

    void clearFullPts(const Key &var) override
    {