Add Not to double-negative elimination