Trait translating a KCR program to a SMT problem
Created by kdelmas on 19/04/16.
Created by kdelmas on 30/06/17.
Created by kdelmas on 06/02/17.
Created by kdelmas on 10/02/17.