Initial import
Basic implementation for reducing a BDD.
Fixes a build error