dreach_tool(system.tex): update dReach syntax