teststate.data
Whether this is provably empty.
A coproduct could return an empty set for some inputs but it isn't provable and so isn't considered empty.