dreach_tool(intro.tex): move delta-reachability to a separate section