@Test public void testInstance() throws Exception { String path = "src/test/resources/prettyprint/instance/let/"; StringBuilder sb = TestUtil.translate(path + "InstanceLet.tla"); String expected = TestUtil.fileToString(path + "InstanceLet.mch"); assertEquals(TestUtil.getTreeAsString(expected), TestUtil.getTreeAsString(sb.toString())); }