The idea came from a discussion with @0xPhaze. We should convert to constant calls to `keccak256` that are constants ```solidity contract A{ function f() public returns(uint){ return uint(keccak256("something")); } } ``` This will be useful for the IR/echidna/proxy patterns
