Should you ever get `eq[j].coeff(diff(fun, t, order_)) == 0`?