Revert "rename TermContext to State"

This reverts commit 21879b9a0ae49470baa31a86554ba76391222098.
did the rename again with Eclipse