Abstrata "terminada" :)
AST terminada e ok