updated 'toString()' method of Element* conditions to contain negation