stub for inferred annotations
Draft implementation of inferring Nullity and Contract annotations

Current implementation is draft in following aspects:
- It is not optimized for memory usage - keys are based on raw Strings, this is inefficient
- No smart caching of results
- Indices (equations) are not persistent and are in memory for now
inferred annotations in gutter
poc usage of enumerators

This shows, that all equations CAN be in memory if ids are just ints.
No need for signatures
in progress: internalizing equations
full cycle of solving (not tested yet)
using (naively yet) solutions of IntIdSolver in Idea
Start test for BytecodeAnalysis
testing hand-coded classes
testing contract annotations
No need for components (with touched flag) in raw equations
emulating touch via special value
towards indexing
indexing
poc implementation via indices
extracting converter
towards compound ids
Refactoring: moving class processing into DataIndexer
towards compound keys