Redirecting to Abstract syntax