Added backtracking stack to the output of (sdv).