Domain Compression for Complete Abstractions