Add the loop termination condition and body to the graph.
(self, pred, body, loop_vars, shape_invariants, return_same_structure)
source not stored for this graph (policy: none)
no test coverage detected