I think it may just be the list of DID rules, see which are "missing" from the sequence, then see if there are extensions that exist for those..Progression is from rule, to extension. There is not really a reason for the extension to know if there is a rule or not. If there is, the the call routes following the rule, if there is no extension, the call will probably fail.