Reduced ordered binary decision diagram