Rename AbstractValue to CopyableValue
Move MULTI_QUALIFIER_KEY into MultiQualifierSet
Replace edge indexes by edge kinds
Make fields private
Move default implementation of FrameTransformer to DefaultFrameTransformer
Improve hashCode() implementation
Remove old interpreter with graph builder and related tests
Fix formatting
Restructure annotation decision
Replace analysis result instruction/frame lists with map & sets
Remove "impose" method from the inference framework
Remove redundant JDK fragment
Implement support of assertions for non-annotated invocation arguments
Update nullability criteria/Add computation of "lost values"
Replace parameter annotations only once
Update test data
Add original instruction index to pseudo-error
Merge interpreter utilities into single file
Remove redundant exceptions, fix predefined annotations, update test data