NegationElimination: started the implementation.
NegationElimination: Implemented.