Better output on failed test cases

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Use make-implication instead of direct call to Implication.

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