buddy

Currently, if two files were given but the second does not match any file on disk, the circuit for the first one is created and just not compared. Whether one should just exit immediately or should keep running the single file case I cannot tell, but it should definitely return with a non-zero exit code.

The current implementation has the unique node table in kernel.h and the operations cache in cache.h. From bdd.h one can see, that the bdd variable exposed to the user really just is an index into the uni