Prove kernelc tree examples

more to come...