Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow