Complete Tests do not Guarantee Domain

We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domain operation can always be defined. The construction is based on ultrafilters extending the cofinite filter on a set.