Function NegationVerify

Test/SubVerify.cpp:7014–7018

    }

    void NegationVerify()
    {
        cout << "Verifying Negation:" << endl;
        NegationVerifyAll();
    }
}