Recent versions of AKCL have a TRACE with many more features, thanks to Matt Kaufmann. Documentation is in doc/trace. Keywords include :cond :entrycond :entry :exitcond :exit :depth.