add extractStatesDefinitions to SolidityProxy (in order to cache it)
add extractStatesDefinitions to SolidityProxy (in order to cache it)

ethereum/remix,cdetrio/remix,ethereum/remix,ethereum/remix,cdetrio/remix,ethereum/remix,ethereum/remix,cdetrio/remix