I think it uses TF's graph construct which has that built in? it's like a weird mix of dataflow and control flow graphs.