Update dominates/2 to use equal/2, QC property is broken.