Interface AstHeapModel