@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()));
}
