add simpler clock tree derivation, up edition

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