Reorganize tests for abstract domain in a hierarchy of traits.