fixed cil sum example
replaced ==Ptr and =/=Ptr with ==K and =/=K
proved cil list_reverse with k rev c5a87d57e16
fixed quicksort example
Merge pull request #48 from yilongli/java_rewrite_engine

proved cil list reverse example