channel CIO{
    out wizardTowerProxy(wtp:Int, enter(wizard:Str)) == wtp
}

channel C1{
    in wizardTowerProxy(wtp2:Int, enter(wizard)) == wizard
    out ivoryTower(it:Int, enter(wizard)) == if(eq(it,3), it + 1, it)
}