The old assume-based clock tree example is harder to understand (although it has the benefit of only finding the success path).
