Error when running speck_diff_find.py

[Clique33]

Some errors are raised when trying to run speck_diff_find.py (Run on Python Python 3.8.10, Windows).

I "fixed" them the following way:

**replace line 60 for the following:

constraints = constraints + three_way_fork(x3, y1, y0,r)

replace line 106 for the following:

V = getVariables_From_Constraints(C)

replace line 108 for the following:

V = V.union(getVariables_From_Constraints([add_constraint_1]))**

I would like to know if the results are still the ones obtained by the authors with these changes.