Domain propagation check