remove static state for Tool.instance
remove unused stuff from Context
remove unused stuff from Context - 2
remove unused method from Definition
remove unused stuff from Context - 3
remove unused stuff from Context - 4
remove unused state in JavaClassesFactory
fixed BuiltinMap.Builder#build
put CollectBracketsVisitor back (see #1095)
replaced assertions with K exceptions
hack to handle bugs in AddInjections
fixed a long-lasting bug of Equality#isFalse
Merge pull request #1101 from andreistefanescu/master

hack to handle bugs in AddInjections
Separating the new parser code for programs from SDF and returning the grammar object in order to avoid having a static state.
Merge pull request #1097 from yilongli/fixing-issue-1088

replaced some assertions with K exceptions
Merge pull request #1084 from osa1/context

Context refactoring -- prelude
Merge pull request #1098 from yilongli/fixing-map-canonicalization

fixed multi-representation of BuiltinMap
Merge pull request #1087 from dwightguth/staticstatetool

remove static state for Tool.instance
Merge pull request #1102 from kframework/staticStateInPrograms

Separating the new parser code for programs from SDF and returning the
add Module and Definition fields to transformers