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)
delta in data
parameters in result origins as well
track dereferencing of parameters
delta in data
track all possible result values
delta in data
tracking all comparisons with null
delta in data