FBDD algorithm?