Update parsetree2mscgen.js