Fix assumptions on A in ode test.

The solution that is tested is only valid for A != -1.
Assume A > 0 to exclude that possibility.