> A sequence of checks to arrive at the root cause of the problem can be represented as a path in (preferably balanced) binary search tree.

Yes, probably everything in this world can be represented as a balanced binary search tree, who knows.