Added the class for verification of Negation elimination with some comments of what needs to be done.
Added the class for verification of Negation elimination with some comments of what needs to be done.

nonilole/Conan