Fixed visit_AREL in DepthFirst