Skip AbsDiffDomains computation when all domains are defined