[Validator] Implemented BC traversal of traversables through validate()