be more liberal on Some/max_size argument type

bonesis/asp_encoding.py

@@ -401,7 +401,7 @@ def encode_some_freeze(self, name, opts):
             assert isinstance(ex, str), "invalid exclude specification"
             ex = clingo_encode(ex)
             rules.append(f":- some_freeze({name},{ex},_)")
-        if max_size > 1:
+        if max_size != 1:
             rules += [
                 f":- some_freeze({name},N,V), some_freeze({name},N,-V)"
             ]