@Test public void testWitnessTick() throws Exception { final Start root = parseInput("machine WitnessTick\nevents\nevent Eve\nwith\n@x' x' :: NAT\nend\nend", false); final AMachineParseUnit parseUnit = (AMachineParseUnit) root.getPParseUnit(); final LinkedList<PEvent> events = parseUnit.getEvents(); assertEquals(1, events.size()); final AEvent event = (AEvent) events.get(0); final LinkedList<PWitness> witnesses = event.getWitnesses(); assertEquals(1, witnesses.size()); assertEquals("x'", ((AWitness) witnesses.get(0)).getName().getText()); }