solve some anywhere
delete some anywhere rules
solving anywhere
anfixing anywhere rules
anfixing anywhere rules
put back kresult
fixing anywhere with CabsLoc
changing KLabel to KItem in interpretation.k
fixing bugs in maps
fixing makefile
Merge pull request #29 from liyili2/java_rewrite_engine3

Java rewrite engine3