Redirecting to Binary decision diagram