Merge pull request #4 from liyili2/java_rewrite_engine

Java rewrite engine
Merge pull request #5 from liyili2/java_rewrite_engine

K => KItem, ==Set => '_==Set_
Consolidated allowInit w/<initializing> cell.
Minor regression with initializers.
Merge pull request #6 from liyili2/java_rewrite_engine

Java rewrite engine
Fix for issue with linker locs--

when they appear in "initializing" context they should result in symbolic
values.
Fix for issue with effective types.

The effective type of an object with no declared type (i.e., something with
allocated storage duration) shouldn't be updated when the lvalue has a char
type.
Merge branch 'master' into java_rewrite_engine

Conflicts:
	semantics/language/common/decl/enum.k
	semantics/language/common/decl/initializer.k
	semantics/language/common/expr/eval.k
	semantics/language/common/memory/alloc.k
	semantics/language/common/memory/writing.k
	semantics/language/execution/decl/local.k
	semantics/language/execution/io-buffered.k
Removed warnings for _Atomic and thread local.
Quarantining a couple more tests.
More test consolidation/reorganization.
Merge pull request #7 from liyili2/java_rewrite_engine

Java rewrite engine
Replaced a couple rules with the "all" predicate.
Detection of some issues with restrict.
Couple tests for restrict and old-style fun decls.
Fixing some regressions.
Slightly smarter restrict abuse detection.
Issue with pointer arithmentic.
Merge pull request #8 from liyili2/java_rewrite_engine

fix processGoto list problem
Reorganized some errors.