Tests and Fixes

~ Fixes in the script
+ Added statistics at the end of the synthesis
- Removed old test results
~ Fix in SemOpt ( intersection between I and C before pref/prefSAT )