Bug fix : boolred uses no memory!

src/licMetaOp.ml

-(* Time-stamp: <modified the 11/04/2013 (at 15:31) by Erwan Jahier> *)
+(* Time-stamp: <modified the 07/04/2015 (at 15:05) by Erwan Jahier> *)
 
 (* *)
 
@@ -215,8 +215,7 @@ and do_boolred nk2nd nk lxm =
     outlist_eff  = outs;
     loclist_eff  = None;
     def_eff      = MetaOpLic;
-    (* ???? *)
-    has_mem_eff  = true;
+    has_mem_eff  = false;
     is_safe_eff  = true;
     lxm = lxm;
   }