* method copied exactly from wyvern.targets.Common.wyvernIL.IL.tests.TestIL
*/
private List<Statement> getResult(TypedAST input) {
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();
}