As the code for the default customer category is stored in the local CustomerCategoryCode variable in test example 4, verifying that the CustomerCategoryCode field on the customer record has indeed been populated with the default customer category is just a case of calling the already-existing VerifyCustomerCategoryOnCustomer helper function, as shown in the following code:

local procedure
    VerifyCustomerHasDefaultCustomerCategory(
        CustomerNo: Code[20];
        DefaultCustomerCategoryCode: Code[20])
begin
    VerifyCustomerCategoryOnCustomer(
        CustomerNo,
        DefaultCustomerCategoryCode)
end;