Source: https://www.amppviala.fr/wp-content/uploads/2017/07/documentation-generale-cmpp-klee.pdf