fcalib conversions for implication sets

enabling the usage of fcalib's next-closure implementation

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