fixed cil sum example
replaced ==Ptr and =/=Ptr with ==K and =/=K
proved cil list_reverse with k rev c5a87d57e16