Maindomaintest: Remove DefExc fromt the list of tested domains due to signature change
Maindomaintest: Remove DefExc fromt the list of tested domains due to signature change

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