Victor
Muito obrigado pela pronta resposta! Acho que consegui entender (já consegui obter o "teste bem sucedido!"). Creio que o teste full() na verdade faz referência à função isFull(), que realmente só deve se basear no estado da unionFind.
Obrigado mais uma vez!