Add sematics of DFS