Reader reader = new FileReader(file);
LitilParser p = new LitilParser(new LookaheadLexerWrapper(new StructuredLexer(new BaseLexer(reader), " ")));
p.debug = false;
p.prtDbg = false;
return p.program();
}
private static TypeScope trootScope() {
TypeScope res = new TypeScope();
res.define("-/1", Type.Function(Type.INT, Type.INT));