Construct equations for '@Contract(pure=true)' analysis
Inference of '@Contract(pure=true)' annotations
Testing Inference of '@Contract(pure=true)' annotations
Testing Inference of '@Contract(pure=true)' annotations: delta in test data
bytecode analysis index version +1