A New Bound on Hrushovski's Algorithm for Computing the Galois Group of a Linear Differential Equation. - Mengxiao Sun (CoRR, 2018)