dreach_tool(using.tex): remove viz figure
fixup
dreach_tool(solving.tex): remove first paragraph of "encoding reachability"