Prove kernelc tree examples (not finished yet)

more to come...