Re #1 cut/branch not unwinding the stack.  Cut now unwinds back to initial cut call cut_loop after collecting child fns