Created
data class Created(val contract: Contract, val candidates: Int, val calls: Int) : ContractResult(source)
candidates counts what every green agrees on; calls is the ddmin test count.
candidates counts what every green agrees on; calls is the ddmin test count.