struct Data1;

struct Data1
{
    int val;
    Data1 *ptrval;
    int arr[3];
    Data1 *getData3()
    {
        return ptrval;
    }
};

struct Data2 : public Data1
{
};

int k;

void paranuckerInternalTest(const char *action, const char *collection, const char *values);

class Object1
{
    Data1 *tmp1;
    Data1 *tmp2;

    Data1 *getData1()
    {
        return tmp2;
    }

    Data1 *getData2() __attribute__((returns_nonnull))
    {
        return tmp2;
    }

    void func1(Data1 *ptr1)
    {
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        if (!ptr1 && k == 10)
        {
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (tmp1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
                paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
                paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (!ptr1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = new Data1;
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "");
                paranuckerInternalTest("=", "addNullVars", "");
                paranuckerInternalTest("=", "removeNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "");
            paranuckerInternalTest("=", "addNullVars", "");
            paranuckerInternalTest("=", "removeNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        }
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

    Data1 *func2()
    {
        Data1 *ptr1 = nullptr;
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "ptr1");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        return ptr1;
    }

    void func3()
    {
        Data1 *ptr1 = nullptr;
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "ptr1");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        if (!ptr1)
        {
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (k == 20)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (!ptr1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        }
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

    void func4()
    {
        Data1 *ptr1 = nullptr;
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "ptr1");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        if (!ptr1)
        {
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            while (k == 20)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (!ptr1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        }
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

    void func5()
    {
        Data1 *ptr1 = nullptr;
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "ptr1");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        if (!ptr1)
        {
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (k == 20)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                return;
            }
            else
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (!ptr1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        }
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "ptr1");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

    void func6(Data1 *ptr1)
    {
        unsigned long start = 0;
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

    void func7(Data1 *ptr1)
    {
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        if (!ptr1 && k == 10)
        {
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "ptr1");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (tmp1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
                paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = getData1();
                paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
                paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
            paranuckerInternalTest("=", "addNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVars", "");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            if (!ptr1)
            {
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "");
                paranuckerInternalTest("=", "knownNullVars", "ptr1");
                paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
                paranuckerInternalTest("=", "addNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVars", "");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
                ptr1 = new Data1();
                paranuckerInternalTest("=", "knownVars", "ptr1");
                paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
                paranuckerInternalTest("=", "knownNullVars", "");
                paranuckerInternalTest("=", "needCheckNullVars", "");
                paranuckerInternalTest("=", "addNullVars", "");
                paranuckerInternalTest("=", "removeNullVars", "ptr1");
                paranuckerInternalTest("=", "removeNullVarsAll", "");
                paranuckerInternalTest("=", "linkedVars", "ptr1");
                paranuckerInternalTest("=", "linkedVars", "this->tmp1");
                paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
                paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
            }
            paranuckerInternalTest("=", "knownVars", "ptr1");
            paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
            paranuckerInternalTest("=", "knownNullVars", "");
            paranuckerInternalTest("=", "needCheckNullVars", "");
            paranuckerInternalTest("=", "addNullVars", "");
            paranuckerInternalTest("=", "removeNullVars", "ptr1");
            paranuckerInternalTest("=", "removeNullVarsAll", "");
            paranuckerInternalTest("=", "linkedVars", "ptr1");
            paranuckerInternalTest("=", "linkedVars", "this->tmp1");
            paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
            paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
        }
        paranuckerInternalTest("=", "knownVars", "ptr1");
        paranuckerInternalTest("=", "knownNonNullVars", "");
        paranuckerInternalTest("=", "knownNullVars", "");
        paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
        paranuckerInternalTest("=", "addNullVars", "");
        paranuckerInternalTest("=", "removeNullVars", "");
        paranuckerInternalTest("=", "removeNullVarsAll", "");
        paranuckerInternalTest("=", "linkedVars", "ptr1");
        paranuckerInternalTest("=", "linkedVars", "this->tmp1");
        paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
        paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
    }

};