Lazy process tree, lazy URA. The trick is using lazy racket for process tree and URA and standard (strict) racket for everything else.