Passing `tspan=(1., 0.)` to `solve` should throw an error instead of computing a normal-looking but invalid result. EDIT: According to [the documentation](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/man/backwards/), this is actually allowed. But I think at least the `TMJets` algorithm does not support this properly.