move statistics state from Context to CountNodesVisitor
remove definedSorts
remove intialized flag
fix some warnings
remove startSymbolPgm
move locations from Context to Definition. handle Definition serialization/deserialization.
Merge pull request #1145 from osa1/context-refactoring

Context refactoring