Redirecting to Abstract interpretation