Eingaben:

  "path" in { p | p ist ein Pfad }
  "all-components_flags" in { true, false }  
  "verbose_flag" in { true, false}
  "help_flag" in { true, false}
  "version_flag" in { true, false }
  "ignore-non-empty_flag" in { true, false }
  "path-exists" in { true, false }
  "path-is-dir" in { true, false }
  "dir-is-empty" in { true, false }
  "path-is-writable" in { true, false }

Ausgaben:

  - Verzeichnis wird gelöscht
  - Fehlermeldung ausgeben
  - Version ausgeben
  - Hilfe ausgeben

-----------------------------------------------------------------------

R001 Lösche Verzeichnis "path", falls es existiert und leer ist.

R002 Falls "path" nicht existiert, dann melde Fehler.

R003 Falls "path" nicht leer ist und nicht "ignore-non-empty_flag", dann melde
Fehler. 

R004 Falls nicht path-is-writable, dann melde Fehler.

R005 Falls "version_flag", dann gib Version aus.

R006 Falls "help_flag", dann gib Hilfe aus.

R007 Falls "path" nicht "dir-is-empty" und "ignore-non-empty_flag", dann melde
keinen Fehler und lösche "path" nicht.

R008 Falls "path" angegeben und "version_flag", dann lösche "path"
nicht.

R009 Falls "path" angegeben und "help_flag", dann lösche "path"
nicht.

R010 Falls "all-components_flag" und "path" in { p | prefix/d } und "path"
existiert und "dir-is-empty", dann lösche "path" und fahre mit "path"=prefix
und "all-components_flag"=true fort.