Implementation of several consistency rules for
the ErrorModel Annex