Corrected SMT trace output with multiple lines