| list_tracing/0 | List predicates we are currently tracing. |
| notraceall/0 | Remove all trace points. |
| trace/1 | Print passes through _ports_ of specified predicates. |
| trace/2 | Print passes through _ports_ of specified predicates. |
| tracing/2 | True if Spec is traced using Ports. |