A document describing purity detection in EVM opcode - View it on GitHub