The description of the tracer's features that follows is intentionally brief. A more complete account can be found in appendix B. Note that the tracer uses the Byrd box model.
Full tracing only applies to non-compiled ( i.e. interpreted) code but some limited tracing can be done for compiled code. The behaviour is similar to the treatment of system predicates.