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