Add showTrace and showTraceTag to Auxiliaries for easy debugging