Includes updates for wiki

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Updating org-mode file

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add testing data from Johannes

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
'Enhance' a docstring

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Extend repl code to allow for incomplete counterexamples

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>