assuming hashes are saved here: https://github.com/crytic/solc/issues/1 add duplicity checks on keccak256/sha3 values
assuming hashes are saved here: crytic/solc#1
add duplicity checks on keccak256/sha3 values