Move tracing functions down to SMTLIBSolver module