dsolve: be more informative on what we can't solve