Added newline to semanalyze's output