diff --git a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
index 0fb179e7e4fbfbaab35e139de0667a4a04591a7c..70bea93317b98a6d1b72b42b76a4ead94abf06ef 100644
--- a/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
+++ b/library/cadbiom/models/clause_constraints/mcl/TestCLUnfolder.py
@@ -826,10 +826,23 @@ def init_forward_unfolding_solution_3(mcla):
     assert unfolder.initial_constraints == [[-1], [-2], [-3], [-8], [-10], [-11], [-13], [-15], [13]]
 
     # Just append DIMACS constraints of the query: "L" + [[12]]
-    assert unfolder.invariant_constraints == [[[12]], [[12]]]
+    assert unfolder.invariant_constraints == [[[12], [12]]]
     # Idem: "C and K" + "C" = [3, -47], [11, -47], [-3, -11, 47], [47] + [3]
     assert unfolder.final_constraints == [[3, -47], [11, -47], [-3, -11, 47], [47], [3]]
 
+    ## Shift constraints #######################################################
+
+    init_forward_unfolding_part_2(unfolder)
+
+    print("initial_constraints:", unfolder.initial_constraints)
+    print("invariant_constraints:", unfolder.invariant_constraints)
+    print("final_constraints:", unfolder.final_constraints)
+
+    # Shift values by adding 47
+    assert unfolder.invariant_constraints == [[[12], [12]], [[59], [59]]]
+
+    assert unfolder.final_constraints == [[50, -94], [58, -94], [-50, -58, 94], [94], [50]]
+
 
 def init_forward_unfolding_solution_4(mcla):
     """