Fix create-test.arr js output to use program.post-desugar instead of pre-desugar