Redirecting to Zero suppressed decision diagram