Added reverse traversers

Added reverse traversers.
Added test cases.
Fixed bugs in the initial implementation.