In the minizinc playground, `trace("foo", bar)` is shown only when the string ends with a new line like `trace("foo\n", bar)`. May relate to https://github.com/minizinc/minizincide/issues/114