dreach_tool: move delta-reachability to appendix
dreach_tool: fix reference