refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name.
#350
| Job | Run time |
|---|---|
| 12s | |
| 12s |