Add collection union to kotlinlib
Add map merge to kotlinlib
Add key/value mapping to kotlinlib
Do not create dependencies between reader/writers of field if it has primitive type
Add values- and qualifiers-related types
Add ResultFrame class
Add PseudoErrorInsnNode class
Add AnalysisResult class
Add frame transformer classes
Modify Analyzer class:
- add frame transformers (including premature path termination)
- add collection of return/error frames
"Qualified" interpreter implementation
Enhancements in method invocation assertions
Mutability inference implementation
Nullability inference implementation
Integrate new inference engine with KAnnotator facade and tests
Add/update test cases
Extend predefined mutable invocations and mutability propagations
Implement mutable invocation/mutability propagation search in inheritance graph
Update integrated inference test data
Remove old mutability inference