static void clearConceptsOf(S progID) {
  getProgramFile(progID, "concepts.structure").delete();
  getProgramFile(progID, "concepts.structure.gz").delete();
  getProgramFile(progID, "idCounter.structure").delete();
}