added avl_tree example to cil regression test
proved cil avl_tree find & find_min
fixed missing deleteLocals when returning from a function call
changed avl example from signed to unsigned
minor
strict to seqstrict
subsorted sizeof' to Exp
final incomplete effort in proving avl_tree insert/delete
Merge pull request #52 from yilongli/java_rewrite_engine

incomplete effort in proving avl_tree insert/delete
fixed failing ktest
Merge pull request #53 from yilongli/java_rewrite_engine

fixed failing ktest
Merge pull request #54 from liyili2/java_rewrite_engine

Java rewrite engine
Merge pull request #55 from dwightguth/java_rewrite_engine

fix minor changes in latest version of K
more minor fixes with --pattern-matching
fix most remaining issues in C semantics -- java engine