Fixing some small printing issues

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Introducing (bottom) into exploration algorithm

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