Considere o método doSomethingElse(int x, int y, int z, Stack aStack) cujo domínio satisfaz as seguintes restrições:

• x ≥ 0 ∧ x ≤ y; • y < z;
  
• z ≤ aStack.size()
• !aStack.isFull()
  

Utilizando Análise de Domínio, indique os casos de teste que permitem verificar a correcta implementação deste método.