handling of errors during analysis
type fix
handling more cases of nullity propagation
nullity propagation is still experimental option

seems that it will not be ported to IDEA in the nearest future - there are some performance problems