Change BasicBlock to AbstractBlock
Change List<Poly> to Poly[]