docs: private void addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation,
              ObligationPolicyDatabaseEntryType entryType) {
          ObligationPolicyDatabaseEntry entry = database.addParameterDeletesObligationDatabaseEntry(xmethod, obligation, entryType);
          if (DEBUG_ANNOTATIONS) {
              System.out.println("Added entry: " + entry);
          }
      }