First version of traversals with specs skeletons (specs not implemented).