The "consistency tests" you refer to, if I understood it correctly, would be also of help, as it kind of "dynamically explores all the paths in your schema". Not sure how it figures out "what is correct and what is not"