Refactoring expert interaction

First step.  The final goal is to have almost everything in
one function, and to implement revoking ones opinion on
rejecting an implication

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