Simple BFS implem
Increased size of BDDFactory