nekoton/core/models/full_contract_state library