Considere o seguinte método bool f (int x, int a, int b), que determina se um ponto x está no intervalo [a,b]. O método f deve retornar true se a ≤ x ≤ b, e false caso contrário. Assuma ainda que é lançada uma excepção se f for invocada com valores b < a.

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