Don't use make-implication directly

but with conexp/ prefix

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

populate the queue directly

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

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