Faire une hypothèse suppl’ementaire sur une variable : additionally

### 2.5.8 Faire une hypothèse suppl’ementaire sur une variable : `additionally`

`additionally` permet de faire des hypothèses supplémentaires sur une variable. En effet, si on fait une autre hypothèse avec `assume`, l’ancienne hypothèse est effacée. Donc, si vous voulez rajoutez une nouvelle hypothèse il faut utiliser la commande `additionally` ou mettre `additionally` comme deuxième argument de `assume`.
`additionally` a les mêmes arguments que `assume` ou `supposons` : un nom de variable suivi d’uneégalité ou d’une inégalité représentant l’hypothèse faite ou bien un nom de variable suivi d’une virgule et de son type. On peut mettre plusieurs hypothèses à condition de les relier par `and` ou `or` selon ce que l’on veut faire !
On est obligé d’utiliser `additionally` pour spécifier le type de la variable et une plage de valeurs pour cette variable.
On tape pour dire que `b` est un entier supérieur strictement à 5 :

`assume(b,integer);`
`additionally(b>5)`

ou bien

`assume(b,integer);`
`assume(b>5,additionally)`

On obtient :

`DOM_INT,b`

puis

`b`

On tape :

`assume(b)`

On obtient :

`[DOM_INT]`