simplest ownership analysis for @Pure annotations
delta in data

29421 @Pure annotations => 30101 @Pure annotations
knowledge about System.arraycopy
delta in data

30101 @Pure annotations => 30317 @Pure annotations