Nullity propagation via constraints

A fruitful and simple way to infer more `@NotNull annotations`. State has a set of values that should be not null at this point. Values are: parameters, values originated at some instruction.

Currently this propagation is for methods without cycles only. It is unclear yet about propagation for methods with cycles - since there are generalizations and we should apply generalization to constraints as well.