You may want to use that one ODE you found that doesn't work with this heuristic as a test, since it shouldn't give an infinitesimal for that ode.