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