It takes a LOT of time to validate every path, possibly an infinite amount of time, depending on the complexity of the domain.