throw new RuntimeException();
CoreAST cBody = (CoreAST) body;
ExnFromAST visitor = new ExnFromAST();
cBody.accept(visitor);
innerStatements.addAll(visitor.getStatments());
LinkedList<Def.Param> params = new LinkedList<>();
for (NameBinding binding : bindings) {
params.add(new Def.Param(binding.getName(), binding.getType()));
}