The {{value} variable is used after moved here:

            if (isCurrentlyNegated()) {
                value = Negator{}(std::move(value));
            }
            _result = make<Atom>(std::move(value));

This ticket should investigate whether the first path is actually possible to hit, as the initial code coverage data seems to indicate that we don't have any tests which exercise it.