Na, bug in exploration with incomplete counterexamples

Update when new implication is added was not correct

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