fixed global environment
Merge branch 'java_rewrite_engine' of https://github.com/kframework/c-semantics into java_rewrite_engine
Merge branch 'java_rewrite_engine' of https://github.com/kframework/c-semantics into java_rewrite_engine