Currently only `Symbolic.Ki_CUDD` is tested in the `cudd` tests, but `Symbolic.Ki` should also be covered in the `examples` test suite. In particular this should involve common and distributed knowledge, after #24 is done.
