diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 3b7ac007..868ac277 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -1656,6 +1656,10 @@ attribute_goals(Var) -->
             booleans(RestVs)
         ;   boolean(Var)  % the variable may have occurred only in taut/2
         ).
+attribute_goals(Var) -->
+        { get_atts(Var, clpb_max(_)),
+          !,
+          put_atts(Var, -clpb_max(_)) }.
 attribute_goals(Var) -->
         { get_atts(Var, clpb_bdd(BDD)),
           ground(BDD),