202122232425262728
if (!(input instanceof CoreAST)) throw new RuntimeException(); CoreAST cast = (CoreAST) input; TLFromAST.flushInts(); New.resetGenNum(); ExnFromAST visitor = new ExnFromAST(); cast.accept(visitor); return visitor.getStatments(); }
707172737475767778