Add VisitTree for all paths of dynamics unrolling