delta_reachability: add techreport