Print comments to SMT trace
Merge pull request #192 from chsticksel/develop

Print comments to SMT trace