Modification of the API of the AbstractVerificationUnit class