package untitled

context CentralHost def:
  upgradeCandiates:Sequence(TupleType(name:String)) = 
    clientsTable->select(c | 
      computeVolume(c)
        ->includes(Tuple{accountNumber:Integer=c.accountNumber}))
        ->collect(t| Tuple{name:String = t.client.name})

endpackage