bug fix: equals for interoperability with Java
delta in data
data for IDEA tests
tracking all dereferences in combined analysis

+ 276 @NotNull method annotations for jdk7-45
towards nullity constraints: state with constraints
towards nullity constraints: insnIndex of origin as identity

Interesting values (`null` and calls) have origin now - it is an index of instruction where they were born.
towards nullity constraints: (dummy) set of dereferenced vals

InOutConstraint: new `dereferenced` field - to keep dereferenced vals
one more iteration: tracking dereferenced vals
using constraint with dereferenced values

In current iterations such constraint is used only for methods without cycles.
(It is unclear currently for me how to handle generalization for constraints)
parameters in result origins as well
track dereferencing of parameters
track all possible result values
tracking all comparisons with null
delta in test data (@NotNull)