===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/gmpq.c,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -p -r1.10 -r1.11
--- OpenXM_contrib2/asir2000/engine/gmpq.c	2018/03/29 01:32:52	1.10
+++ OpenXM_contrib2/asir2000/engine/gmpq.c	2018/07/28 00:45:55	1.11
@@ -1275,7 +1275,10 @@ void addlf(GZ a,GZ b,GZ *c)
 
   addgz(a,b,c);
   if ( !lf_lazy ) {
-    remgz(*c,current_mod_lf,&t); *c = t;
+//    remgz(*c,current_mod_lf,&t); *c = t;
+    if ( cmpgz(*c,current_mod_lf) >= 0 ) {
+      subgz(*c,current_mod_lf,&t); *c = t;
+    }
   }
 }