[Validator] Improved test coverage and prevented duplicate validation of constraints
[Validator] Visitors may now abort the traversal by returning false from beforeTraversal()