Checks the number of inputs/outputs of `cond_graph` and `body_graph`.
(cond_graph, body_graph, num_flattened_loop_vars)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected