restoring equiv
using ListBuffer for constructing transitions
no contract annotations if method is already @NotNull
groovy.jar for testing ArrayUtil pathologies
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.
Analysis is run only for leaking parameters.
For groovy.jar: indexing took 45.757 sec => indexing took 9.716 sec