simplest inference of pure=true
delta in data
Merge pull request #35 from ilya-klyuchnikov/simplest-pure

Simplest inference of `@Contract(pure=true)`