dreach_tool(system.tex): update define-ode and integral