An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees