note on invokespecial instruction
more comments
draft documentation about lattices for each analysis
design notes for inference of annotations with hierarchy