Trace let bindings, extract symbol resolution