pretty print generated test scxml