919293949596979899100101
pu.validateTree(); pu.scanDeclarations(); pu.scanTypeDeclarations(); pu.validateRefinement(); pu.analyseTypes(); pu.analyseFlow(); return pu.getDeclarations();