Add the pseudocode for the deletion test