One important use of MICverifies is for conditional verification. Sometimes we want to verify certain fields and/or verifications based on parameters or data state. To do this, we use a MICverify which may call other MICverifies or field verifications directly.
The two MIC required functions (see C.1.1) verify_fields() and
verify_verifies() are used to make these calls. An example of
how this is generally done is given in . Generally, however, the verification that determines what
verifications to perform should always itself return true and do no
accounting of its own as the fieldspace functions will do their own
accounting.