bytecode analysis: leaking parameters analysis

Leaking parameters are parameters that "leak" into @NotNull/@Contract annotations.
If a parameter doesn't leak, it cannot be @NotNull and cannot contribute to @Contract annotations.
Inference is run only for leaking parameters.