Remove some invalid domains from domaintest
Remove some invalid domains from domaintest

* Integers isn't a lattice.
* Lifted isn't an abstraction of IntegerSet.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer