Print comments to SMT trace