Considerando o diagrama de caso de uso abaixo é correto dizer:

Devido ao polimorfismo, o ator funcionário participa de todos os casos de uso do diagrama.

O diagrama apresenta uma hierarquia de controle dos casos de uso a partir de Transação.

Os casos de uso Fazer reserva e Fazer empréstimo são sempre executados antes de Fazer devolução.

Nada se pode afirmar sobre a ordem da execução dos casos de uso acima.

A interação de especialização entre os atores pode ser removida sem prejuízo à semântica do diagrama.