an initial stuff to test abstract interpretation
one more test for inference
minimizing: no need for MultiFrameTransformer
analyzer: simplifications / comments
comments
a note about special instructions
wip - simplifications
nullability - explicit types + respecting @NotNull fields
wip: only nullability
initial implementation of finding @NotNull fields
annotations change to make default asm analyzer reusable
get rid of dirty debug
minor: imports, visibility
new passing test for respecting fields
respecting @NotNull fields