Redirecting to Omega-regular language