From: Design of a human-centric de-identification framework for utilizing various clinical research data
//S4, U3. Adequacy test Adequacy(S3|U3){     CheckedClassification = CheckClassification(){       if(CheckedClassification == INVALID){         goto S1 | U1//Re-classification       }     }     CheckedDeidentification = CheckDeidentification(){       if(CheckedDeidentification == INVALID){         if(classifiedID == DID){           goto S2         } else if(classifiedID == QID) {           goto S3         } else {           goto U2         }       }     }     Call Dataprovider() } |  |