Delete duplicate definition of class DNNFParser