When extracting SEME regions of code, the extractor needs to update the dominator...