fixing begs with kcc in adding smt=none
fixing klist to function and deleting all inSet
fixing xml-to-k
make file
fix makefile
Merge pull request #21 from liyili2/java_rewrite_engine2

fixing begs with kcc in adding smt=none