fix cil semantics + prove 16 bit integer sum
Merge pull request #35 from dwightguth/java_rewrite_engine

fix cil semantics + prove 16 bit integer sum