Add program that terminates in CBN but not CBV
Make a little more clean
Add new directory