Considere o método doSomething(float x, int y) cujo domínio satisfaz as seguintes restrições:

• x > 1 ∧ x ≤ 5;
  
• y ≤ 5 ∧ y > 1;
  
• y ≤ x + 3 ∧ y < 13 − 2x
  

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