scheme-here-trace-procedure