Started work on a new incremental synthesis plugin. Moved the "#undef fail" command to make CUDD and the IOStreams functions working well together to BF.h