Dominance_CHK.Dom_Kildall_Property