Fix build_BDD with negated atoms
Start adding tests for build_BDD