Verified compatibility of the new code with other parts of the software