simple, inefficient binary decision diagrams are passing tests