The
isverified function determines whether a case has been verified by
double-keying. The function, with argument
dictionary_name, can look at cases in external dictionaries or in batch edit input dictionaries.
The function returns a logical value of 1 (true) if the case was verified and 0 (false) otherwise.