Remove GraphML witness inspecting documentation

Author: sim642

docs/user-guide/inspecting.md

@@ -22,20 +22,3 @@ To build GobView (also for development):
 2. The executable `goblint_http.exe` takes the analyzer directory and additional Goblint configurations such as the files to be analyzed as parameters. Run it e.g. with the following command:\
 `./goblint_http.exe tests/regression/00-sanity/01-assert.c`
 3. Visit <http://localhost:8080>
-
-## Witnesses
-
-### GraphML
-
-#### yEd
-
-1. Open (Ctrl+o) `witness.graphml` from Goblint root directory.
-2. Click menu "Edit" → "Properties Mapper".
-    1. _First time:_  Click button "Imports additional configurations" and open `scripts/sv-comp/yed-sv-comp.cnfx`.
-    2. Select "SV-COMP (Node)" and click "Apply".
-    3. Select "SV-COMP (Edge)" and click "Ok".
-3. Click menu "Layout" → "Hierarchial" (Alt+shift+h).
-    1. _First time:_ Click tab "Labeling", select "Hierarchic" in "Edge Labeling".
-    2. Click "Ok".
-
-yEd manual for the Properties Mapper: <https://yed.yworks.com/support/manual/properties_mapper.html>.