Redirecting to And-inverter graph