modified:   fr.istic.synthlab/src/test/java/fr/istic/synthlab/abstraction/SynthesizerTest.java