changing in of set operator to inSet operator
add todo
fixing warnings
Merge pull request #12 from liyili2/java_rewrite_engine2

Solving the problem in outputing checking terms of "in set" operator not ground terms