A Branch of ADOL-C with Reverse-Hessian (Edge Pushing)