Function render_logic_tree 

pub fn render_logic_tree(buf: &LogicBuffer, _register: Register) -> String

Render a compiled LogicBuffer as an indented, one-node-per-line structural tree with functional term notation — the [Logic] half of :debug.

Unlike render_logic_buffer (which regroups Neo-Davidsonian role predicates into event place-frames and flattens And/Exists for readable English), this shows every node verbatim, so the reader sees the exact compiled FOL shape. The tree is always structural; _register is accepted only for signature symmetry with render_logic_buffer and is ignored. No LISP S-expression is ever emitted — terms render functionally (dog(_ev0), tenfa_x1(_ev0, 1024)).