Analisando o diagrama, depois que ele se encontra no estado Removed, não é possível transicionar para nenhum outro estado posteriormente? Ou, do removed, eu posso dar um close que ele vai pro Detached ou se eu der um set seguido de um flush, ele conseguiria compilar?