Update org-mode file

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Reimplement function interface of incomplete exploration

to avoid defnk

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