Redirecting to Linear Arithmetic synthesis