The kernel BST
Modified the analyzer to make use of the kernel BST
Merge branch 'kernelset' into develop