apache 2.0 license
in progress: hierarchy
note on invokeinterface and invokevirtual
note on invokespecial instruction
more comments
draft documentation about lattices for each analysis
design notes for inference of annotations with hierarchy