Fix #231: side effet on SatFactory
Merge branch 'iss_231' into develop