Fix bad evaluation of Kleene logic
Add missing license
Allow running some of the tests only