towards sharing: detecting splitting parameters
using result influence information
fix
fix in test
full propagation of constraints (milestone)

It works quite fast and very smart about `@NotNull` results. In there final version there should be possibility to run this precise analysis.
delta in jdk analysis data
delta in IDEA test data
fix: handling CHECKCAST instruction properly
changes after fix
towards sharing of results

+ fix: BOT->TOP
delta after fix
do not infer null->... if there is some unconditional dereference
delta in data
inferring contracts only for stable methods
delta in test data