Add solidity extraction