rename SetFoldedAllGoalNode -> FoldDeepSubGoals. close #165