Optimize the setName function in Kiter #4
Description
The SetName function in the Dataflow object is O(n) while it should be at most log(n).
{{ message }}
The SetName function in the Dataflow object is O(n) while it should be at most log(n).