channel CIO{
    out treasureChest(items, getItems(itemType:Str)) == pair(0,0)
}

channel C1{
    in treasureChest(i2, getItems(itemType)) == pair(0,0)
    out treasureIterator(itemName:Str, getItems(itemType)) == itemName
}