Verification of Declarations of Conformity for Free