set the light generation model as default #34

Author: arnaud-m

src/main/java/cryptator/config/CryptagenConfig.java

@@ -32,7 +32,7 @@ public class CryptagenConfig extends CryptaCmdConfig {
 	private int maxLeftOperands= -1;
 
 	@Option(name="-lightM", handler=ExplicitBooleanOptionHandler.class, usage="use less auxiliary variables")
-	private boolean lightModel;
+	private boolean lightModel = true;
 
 	@Option(name="-lightP", handler=ExplicitBooleanOptionHandler.class, usage="use weak consistency")
 	private boolean lightPropagation;