[renumber_atom n a] renumbers all variable instances occurring in atom [a] so that they have level [n]. */
(heap: &mut Heap, n: i32, (c, ts): &Atom)
source not stored for this graph (policy: none)
no test coverage detected