Corrected SMT trace output with multiple lines
Merge pull request #102 from chsticksel/develop

Corrected SMT trace output with multiple lines