Example: AVC for Cover Eligibility 
Two budget addresses, BA1 and BA2, belong to the automatic cover group CG1. The role of BA1 has been defined as Sender (only) and the role of BA2 as Receiver & Sender . This is illustrated in the following example:
This has the following consequences:
BA1 shares its entire budget, assuming that the entire budget is eligible for cover, with other members of cover group CG1.
Since BA2 is defined as Receiver and Sender , it is able to consume its entire budget and all budget contributions from other budget addresses that share their budget with the automatic cover group CG1. This means that BA1 is also entitled to consume the budget of other members of the cover group, for instance, the budget contributions from the “sender” budget address BA1.
However, since BA1 is defined as Sender , it can only consume (that is, receive) budget up to the limit of its budget, but cannot consume the budget of other members of cover group CG1.
In this example, it is assumed that initially the consumable budget of BA1 is $1,000 and of BA2 is $500, and that this entire budget is eligible for cover. No budget has been consumed yet. These budget values are bundled in cover group CG1, yielding a total budget of $1,500 at the level of CG1.
Next, the following documents that consume budget are posted:
Document 1 –Invoice of $1,100 to BA1
Document 2 –Invoice of $700 to BA2
Document 3 –Invoice of $900 to BA1
Availability control proceeds as follows for these three documents (tolerance limit: up to 100% budget consumption is allowed, then an error message will be output). The following checks are run:
For Document 1:
Check at level 1 (= budget address): the budget of BA1 ($1,000) is exceeded by $100 from the consumption posted to BA1 – AVC issues an error message, because BA1 is defined as Sender .
Check at level 2 (= cover group): the budget of CG1 ($1,500) could theoretically cover the consumption of $1,100. However, the document is ultimately rejected and cannot be posted, due to the error message already issued at the budget address level (level 1).
For Document 2:
Check at level 1: The budget of BA2 ($500) is exceeded by $200. However, since BA2 is defined as Receiver and Sender , AVC issues a warning instead of an error message for this check level. AVC now proceeds to check level 2.
Check at level 2: Here the total budget of CG1 ($1,500) is not exceeded by the total consumption ($700). This means that the document is accepted and then posted. There is still $800 budget left at this check level.
For Document 3:
Check at level 1: The budget of BA1 ($1,000) is not exceeded, because there would still be $100 budget left. Therefore AVC does not issue an error at this level.
Check at level 2: There is already a budget consumption of $700 (from Document 2) for the cover group. With the new document, the total budget consumption of $1,600 exceeds the consumable budget of the cover group ($1,500), which means that the document is rejected and cannot be posted.