(define sum-tree (lam/anon (t) (cond ((mt? t) 0) ((node? t) (+ (node-v t) ($MyInvocation (node-l t)) ($MyInvocation (node-r t)))))))