FIX/fix: calculate_component_weight

This method calculates the number of ones in the output of a component
model for SAT models. It checks whether the component is non-linear.
Although CLAASP supported the MODSUB component, it was not included in
this method. This update fixes that oversight.

claasp/cipher_modules/models/sat/sat_model.py

@@ -397,7 +397,7 @@ def fix_variables_value_constraints(fixed_variables=[]):
 
     def calculate_component_weight(self, component, out_suffix, output_values_dict):
         weight = 0
-        if ('MODADD' in component.description or 'AND' in component.description
+        if ('MODSUB' in component.description or 'MODADD' in component.description or 'AND' in component.description
                 or 'OR' in component.description or SBOX in component.type):
             weight = sum([output_values_dict[f'hw_{component.id}_{i}{out_suffix}']
                           for i in range(component.output_bit_size)])