#KJ-19 Symbolic execution support. 1. Added a simpler test to symbolic suite.
2. Improved kjkompile.sh options.