diff --git a/src/Conjure/UI/Model.hs b/src/Conjure/UI/Model.hs
index d4414e1f13..cde17fcd4b 100644
--- a/src/Conjure/UI/Model.hs
+++ b/src/Conjure/UI/Model.hs
@@ -1938,14 +1938,7 @@ rule_DotLtLeq = "generic-DotLtLeq" `namedRule` theRule where
 rule_Flatten_Lex :: Rule
 rule_Flatten_Lex = "flatten-lex" `namedRule` theRule where
     theRule [essence| &a <lex &b |] = do
-      ta <- typeOf a
-      tb <- typeOf b
-      case (ta, tb) of
-        (TypeList TypeInt{}, TypeList TypeInt{}) ->
-          na "rule_Flatten_Lex" 
-        (TypeMatrix TypeInt{} TypeInt{}, TypeMatrix TypeInt{} TypeInt{}) ->
-          na "rule_Flatten_Lex"
-        _ -> return () 
+      reject_flat a b
       fa <- flatten a
       fb <- flatten b
       tfa <- typeOf fa
@@ -1958,14 +1951,7 @@ rule_Flatten_Lex = "flatten-lex" `namedRule` theRule where
              , return [essence| &fa <lex &fb |]
              )
     theRule [essence| &a <=lex &b |] = do
-      ta <- typeOf a
-      tb <- typeOf b
-      case (ta, tb) of
-        (TypeList TypeInt{}, TypeList TypeInt{}) ->
-          na "rule_Flatten_Lex" 
-        (TypeMatrix TypeInt{} TypeInt{}, TypeMatrix TypeInt{} TypeInt{}) ->
-          na "rule_Flatten_Lex"
-        _ -> return () 
+      reject_flat a b
       fa <- flatten a
       fb <- flatten b
       tfa <- typeOf fa
@@ -1978,6 +1964,24 @@ rule_Flatten_Lex = "flatten-lex" `namedRule` theRule where
              , return [essence| &fa <=lex &fb |]
              )
     theRule _ = na "rule_Flatten_Lex"  
+    reject_flat a b = do
+      ta <- typeOf a
+      tb <- typeOf b
+      case (ta, tb) of
+        (TypeMatrix TypeBool TypeInt{}, _) ->
+          na "rule_Flatten_Lex"
+        (TypeMatrix TypeBool TypeBool, _) ->
+          na "rule_Flatten_Lex"
+        (TypeList TypeInt{}, _) ->
+          na "rule_Flatten_Lex" 
+        (TypeMatrix TypeInt{} TypeInt{}, _) ->
+          na "rule_Flatten_Lex"
+        (TypeList TypeBool, _) ->
+          na "rule_Flatten_Lex" 
+        (TypeMatrix TypeInt{} TypeBool, _) ->
+          na "rule_Flatten_Lex"
+        _ -> return () 
+
     flatten a = do
       ta <- typeOf a
       case ta of
diff --git a/tests/custom/flatten_lex/matrix_2_bools/matrix.essence b/tests/custom/flatten_lex/find_v_find/matrix_2_bools/matrix.essence
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_bools/matrix.essence
rename to tests/custom/flatten_lex/find_v_find/matrix_2_bools/matrix.essence
diff --git a/tests/custom/flatten_lex/matrix_2_bools/run.sh b/tests/custom/flatten_lex/find_v_find/matrix_2_bools/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_bools/run.sh
rename to tests/custom/flatten_lex/find_v_find/matrix_2_bools/run.sh
diff --git a/tests/custom/flatten_lex/matrix_2_bools/stdout.expected b/tests/custom/flatten_lex/find_v_find/matrix_2_bools/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_bools/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/matrix_2_bools/stdout.expected
diff --git a/tests/custom/flatten_lex/matrix_2_mixed/matrix.essence b/tests/custom/flatten_lex/find_v_find/matrix_2_mixed/matrix.essence
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_mixed/matrix.essence
rename to tests/custom/flatten_lex/find_v_find/matrix_2_mixed/matrix.essence
diff --git a/tests/custom/flatten_lex/matrix_2_mixed/run.sh b/tests/custom/flatten_lex/find_v_find/matrix_2_mixed/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_mixed/run.sh
rename to tests/custom/flatten_lex/find_v_find/matrix_2_mixed/run.sh
diff --git a/tests/custom/flatten_lex/matrix_2_mixed/stdout.expected b/tests/custom/flatten_lex/find_v_find/matrix_2_mixed/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/matrix_2_mixed/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/matrix_2_mixed/stdout.expected
diff --git a/tests/custom/flatten_lex/matrix_of_matrix/matrix.essence b/tests/custom/flatten_lex/find_v_find/matrix_of_matrix/matrix.essence
similarity index 100%
rename from tests/custom/flatten_lex/matrix_of_matrix/matrix.essence
rename to tests/custom/flatten_lex/find_v_find/matrix_of_matrix/matrix.essence
diff --git a/tests/custom/flatten_lex/matrix_of_matrix/run.sh b/tests/custom/flatten_lex/find_v_find/matrix_of_matrix/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/matrix_of_matrix/run.sh
rename to tests/custom/flatten_lex/find_v_find/matrix_of_matrix/run.sh
diff --git a/tests/custom/flatten_lex/matrix_of_matrix/stdout.expected b/tests/custom/flatten_lex/find_v_find/matrix_of_matrix/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/matrix_of_matrix/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/matrix_of_matrix/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_2_bools/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_2_bools/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_2_bools/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_2_bools/run.sh
diff --git a/tests/custom/flatten_lex/tuple_2_bools/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_2_bools/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_2_bools/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_2_bools/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_2_bools/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_2_bools/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_2_bools/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_2_bools/tuple.essence
diff --git a/tests/custom/flatten_lex/tuple_3_bool_boolmat_int/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bool_boolmat_int/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/run.sh
diff --git a/tests/custom/flatten_lex/tuple_3_bool_boolmat_int/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bool_boolmat_int/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_3_bool_boolmat_int/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bool_boolmat_int/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bool_boolmat_int/tuple.essence
diff --git a/tests/custom/flatten_lex/tuple_3_bools/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_3_bools/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools/run.sh
diff --git a/tests/custom/flatten_lex/tuple_3_bools/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_3_bools/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_3_bools/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_3_bools/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools/tuple.essence
diff --git a/tests/custom/flatten_lex/tuple_3_bools_and_ints/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools_and_ints/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/run.sh
diff --git a/tests/custom/flatten_lex/tuple_3_bools_and_ints/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools_and_ints/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_3_bools_and_ints/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_3_bools_and_ints/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_3_bools_and_ints/tuple.essence
diff --git a/tests/custom/flatten_lex/tuple_of_matrices_and_tuples/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_matrices_and_tuples/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/run.sh
diff --git a/tests/custom/flatten_lex/tuple_of_matrices_and_tuples/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_matrices_and_tuples/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_of_matrices_and_tuples/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_matrices_and_tuples/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_of_matrices_and_tuples/tuple.essence
diff --git a/tests/custom/flatten_lex/tuple_of_tuples/run.sh b/tests/custom/flatten_lex/find_v_find/tuple_of_tuples/run.sh
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_tuples/run.sh
rename to tests/custom/flatten_lex/find_v_find/tuple_of_tuples/run.sh
diff --git a/tests/custom/flatten_lex/tuple_of_tuples/stdout.expected b/tests/custom/flatten_lex/find_v_find/tuple_of_tuples/stdout.expected
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_tuples/stdout.expected
rename to tests/custom/flatten_lex/find_v_find/tuple_of_tuples/stdout.expected
diff --git a/tests/custom/flatten_lex/tuple_of_tuples/tuple.essence b/tests/custom/flatten_lex/find_v_find/tuple_of_tuples/tuple.essence
similarity index 100%
rename from tests/custom/flatten_lex/tuple_of_tuples/tuple.essence
rename to tests/custom/flatten_lex/find_v_find/tuple_of_tuples/tuple.essence
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.essence b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.essence
new file mode 100644
index 0000000000..575e8ff9b5
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.essence
@@ -0,0 +1,3 @@
+given A : matrix indexed by [int(0..1)] of (bool,bool)
+find B : matrix indexed by [int(0..1)] of (bool,bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.param b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.param
new file mode 100644
index 0000000000..881e32d0e1
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/matrix.param
@@ -0,0 +1 @@
+letting A be [(true,false),(false,true);int(0..1)]
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_bools/run.sh b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_bools/stdout.expected b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/stdout.expected
new file mode 100644
index 0000000000..2bb1e55bbd
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_bools/stdout.expected
@@ -0,0 +1,92 @@
+Generating models for matrix.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime matrix.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: matrix-matrix.solution
+language ESSENCE' 1.0
+
+given A_1: matrix indexed by [int(0..1)] of bool
+given A_2: matrix indexed by [int(0..1)] of bool
+find B_1: matrix indexed by [int(0..1)] of bool
+find B_2: matrix indexed by [int(0..1)] of bool
+branching on [B_1, B_2]
+such that
+    flatten([flatten([[-toInt(A_1[q2]); int(1)], [-toInt(A_2[q2]); int(1)]; int(1..2)]) | q2 : int(0..1)]) <lex
+    flatten([flatten([[-toInt(B_1[q3]); int(1)], [-toInt(B_2[q3]); int(1)]; int(1..2)]) | q3 : int(0..1)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 4]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]}]]}
+language Essence 1.3
+
+letting B be [(false, false), (false, false); int(0..1)]
+$ Visualisation for B
+$ _ _
+$ _ _
+
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.essence b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.essence
new file mode 100644
index 0000000000..9938c3e189
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.essence
@@ -0,0 +1,3 @@
+given A : matrix indexed by [int(0..1)] of (bool,int(5..7))
+find B : matrix indexed by [int(0..1)] of (bool,int(2..7))
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.param b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.param
new file mode 100644
index 0000000000..84a4ead82a
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/matrix.param
@@ -0,0 +1 @@
+letting A be [(false, 5), (false, 5); int(0..1)]
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/run.sh b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/stdout.expected b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/stdout.expected
new file mode 100644
index 0000000000..fb0ec0c615
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_2_mixed/stdout.expected
@@ -0,0 +1,116 @@
+Generating models for matrix.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime matrix.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: matrix-matrix.solution
+language ESSENCE' 1.0
+
+given A_1: matrix indexed by [int(0..1)] of bool
+given A_2: matrix indexed by [int(0..1)] of int(5..7)
+find B_1: matrix indexed by [int(0..1)] of bool
+find B_2: matrix indexed by [int(0..1)] of int(2..7)
+branching on [B_1, B_2]
+such that
+    flatten([flatten([[-toInt(A_1[q2]); int(1)], [A_2[q2]; int(1)]; int(1..2)]) | q2 : int(0..1)]) <lex
+    flatten([flatten([[-toInt(B_1[q3]); int(1)], [B_2[q3]; int(1)]; int(1..2)]) | q3 : int(0..1)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 4]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple":
+$                   [{"DomainBool": []},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple":
+$                   [{"DomainBool": []},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 2]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple":
+$                   [{"DomainBool": []},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainTuple":
+$                   [{"DomainBool": []},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 2]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]]}
+language Essence 1.3
+
+letting B be [(false, 5), (false, 6); int(0..1)]
+$ Visualisation for B
+$ _ 5
+$ _ 6
+
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.essence b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.essence
new file mode 100644
index 0000000000..8a0d64d6be
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.essence
@@ -0,0 +1,3 @@
+given A : matrix indexed by [int(0..1)] of matrix indexed by [int(0..2)] of (bool,int(5..7)) 
+find B : matrix indexed by [int(0..1)] of matrix indexed by [int(0..2)] of (bool,int(5..7)) 
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.param b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.param
new file mode 100644
index 0000000000..209db77c3e
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/matrix.param
@@ -0,0 +1,2 @@
+letting A be
+        [[(false, 5), (false, 5), (false, 5); int(0..2)], [(false, 5), (false, 5), (false, 5); int(0..2)]; int(0..1)]
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/run.sh b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/stdout.expected b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/stdout.expected
new file mode 100644
index 0000000000..45c6c06ea2
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/matrix_of_matrix/stdout.expected
@@ -0,0 +1,155 @@
+Generating models for matrix.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime matrix.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: matrix-matrix.solution
+language ESSENCE' 1.0
+
+given A_1: matrix indexed by [int(0..1), int(0..2)] of bool
+given A_2: matrix indexed by [int(0..1), int(0..2)] of int(5..7)
+find B_1: matrix indexed by [int(0..1), int(0..2)] of bool
+find B_2: matrix indexed by [int(0..1), int(0..2)] of int(5..7)
+branching on [B_1, B_2]
+such that
+    flatten([flatten([flatten([[-toInt(A_1[q3, q4]); int(1)], [A_2[q3, q4]; int(1)]; int(1..2)]) | q4 : int(0..2)])
+                 | q3 : int(0..1)])
+    <lex
+    flatten([flatten([flatten([[-toInt(B_1[q5, q6]); int(1)], [B_2[q5, q6]; int(1)]; int(1..2)]) | q6 : int(0..2)])
+                 | q5 : int(0..1)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact":
+$      [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 7]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainTuple":
+$                         [{"DomainBool": []},
+$                          {"DomainInt":
+$                               [{"TagInt": []},
+$                                [{"RangeBounded":
+$                                      [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                       {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainTuple":
+$                         [{"DomainBool": []},
+$                          {"DomainInt":
+$                               [{"TagInt": []},
+$                                [{"RangeBounded":
+$                                      [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                       {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest":
+$                          [{"rootLabel": null,
+$                            "subForest": []},
+$                           {"rootLabel": null,
+$                            "subForest": []}]}]}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest":
+$                          [{"rootLabel": null,
+$                            "subForest": []},
+$                           {"rootLabel": null,
+$                            "subForest": []}]}]}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainTuple":
+$                         [{"DomainBool": []},
+$                          {"DomainInt":
+$                               [{"TagInt": []},
+$                                [{"RangeBounded":
+$                                      [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                       {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}]}]]},
+$              {"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 0]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainTuple":
+$                         [{"DomainBool": []},
+$                          {"DomainInt":
+$                               [{"TagInt": []},
+$                                [{"RangeBounded":
+$                                      [{"Constant": {"ConstantInt": [{"TagInt": []}, 5]}},
+$                                       {"Constant": {"ConstantInt": [{"TagInt": []}, 7]}}]}]]}]}]}]}]]}
+language Essence 1.3
+
+letting B be
+        [[(false, 5), (false, 5), (false, 5); int(0..2)], [(false, 5), (false, 5), (false, 6); int(0..2)]; int(0..1)]
+$ Visualisation for B
+$ _ 5
+$ _ 5
+$ _ 5
+$ 
+$ _ 5
+$ _ 5
+$ _ 6
+$ 
+
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_2_bools/run.sh b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_2_bools/stdout.expected b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/stdout.expected
new file mode 100644
index 0000000000..b0ccfe57a5
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/stdout.expected
@@ -0,0 +1,56 @@
+Generating models for tuple.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime tuple.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: tuple-tuple.solution
+language ESSENCE' 1.0
+
+given A_1: bool
+given A_2: bool
+find B_1: bool
+find B_2: bool
+branching on [B_1, B_2]
+such that
+    flatten([[-toInt(A_1); int(1)], [-toInt(A_2); int(1)]; int(1..2)]) <lex
+    flatten([[-toInt(B_1); int(1)], [-toInt(B_2); int(1)]; int(1..2)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}],
+$       [{"Name": "B"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}],
+$       [{"Name": "B"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]}]]}
+language Essence 1.3
+
+letting B be (false, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.essence b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.essence
new file mode 100644
index 0000000000..67b38d95d0
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.essence
@@ -0,0 +1,3 @@
+given A : (bool,bool)
+find B : (bool,bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.param b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.param
new file mode 100644
index 0000000000..d3eaf2e0f8
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_2_bools/tuple.param
@@ -0,0 +1 @@
+letting A be (false, true)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/run.sh b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/stdout.expected b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/stdout.expected
new file mode 100644
index 0000000000..b9e541ec5f
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/stdout.expected
@@ -0,0 +1,122 @@
+Generating models for tuple.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime tuple.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: tuple-tuple.solution
+language ESSENCE' 1.0
+
+given A_1: matrix indexed by [int(1..3)] of bool
+given A_2: int(1..5)
+given A_3: bool
+find B_1: matrix indexed by [int(1..3)] of bool
+find B_2: int(1..2)
+find B_3: bool
+branching on [B_1, B_2, B_3]
+such that
+    flatten([[-toInt(A_1[q2]) | q2 : int(1..3)], [A_2; int(1)], [-toInt(A_3); int(1)]; int(1..3)]) <lex
+    flatten([[-toInt(B_1[q3]) | q3 : int(1..3)], [B_2; int(1)], [-toInt(B_3); int(1)]; int(1..3)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 4]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 3]}}]}]]},
+$                    {"DomainBool": []}]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 3]}}]}]]},
+$                    {"DomainBool": []}]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$              {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 3]}}]}]]},
+$                    {"DomainBool": []}]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainMatrix":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 3]}}]}]]},
+$                    {"DomainBool": []}]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$              {"DomainBool": []}]}]]}
+language Essence 1.3
+
+letting B be ([false, false, false; int(1..3)], 2, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.essence b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.essence
new file mode 100644
index 0000000000..a4a28663db
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.essence
@@ -0,0 +1,3 @@
+given A : (matrix indexed by [int(1..3)] of bool,int(1..5),bool)
+find B : (matrix indexed by [int(1..3)] of bool,int(1..2),bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.param b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.param
new file mode 100644
index 0000000000..4839912432
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bool_boolmat_int/tuple.param
@@ -0,0 +1 @@
+letting A be ([false, false, false; int(1..3)], 1, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools/run.sh b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools/stdout.expected b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/stdout.expected
new file mode 100644
index 0000000000..e94f60ec5c
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/stdout.expected
@@ -0,0 +1,62 @@
+Generating models for tuple.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime tuple.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: tuple-tuple.solution
+language ESSENCE' 1.0
+
+given A_1: bool
+given A_2: bool
+given A_3: bool
+find B_1: bool
+find B_2: bool
+find B_3: bool
+branching on [B_1, B_2, B_3]
+such that
+    flatten([[-toInt(A_1); int(1)], [-toInt(A_2); int(1)], [-toInt(A_3); int(1)]; int(1..3)]) <lex
+    flatten([[-toInt(B_1); int(1)], [-toInt(B_2); int(1)], [-toInt(B_3); int(1)]; int(1..3)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}, {"DomainBool": []}]}],
+$       [{"Name": "B"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}, {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}, {"DomainBool": []}]}],
+$       [{"Name": "B"}, {"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}, {"DomainBool": []}]}]]}
+language Essence 1.3
+
+letting B be (false, false, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.essence b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.essence
new file mode 100644
index 0000000000..c75672f2f2
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.essence
@@ -0,0 +1,3 @@
+given A : (bool,bool,bool)
+find B : (bool,bool,bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.param b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.param
new file mode 100644
index 0000000000..79962596f4
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools/tuple.param
@@ -0,0 +1 @@
+letting A be (false, false, true)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/run.sh b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/stdout.expected b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/stdout.expected
new file mode 100644
index 0000000000..7ec18bb191
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/stdout.expected
@@ -0,0 +1,94 @@
+Generating models for tuple.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime tuple.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: tuple-tuple.solution
+language ESSENCE' 1.0
+
+given A_1: bool
+given A_2: int(1..5)
+given A_3: bool
+find B_1: bool
+find B_2: int(1..2)
+find B_3: bool
+branching on [B_1, B_2, B_3]
+such that
+    flatten([[-toInt(A_1); int(1)], [A_2; int(1)], [-toInt(A_3); int(1)]; int(1..3)]) <lex
+    flatten([[-toInt(B_1); int(1)], [B_2; int(1)], [-toInt(B_3); int(1)]; int(1..3)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainBool": []},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainBool": []},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$              {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []},
+$               {"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainBool": []},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainBool": []},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$              {"DomainBool": []}]}]]}
+language Essence 1.3
+
+letting B be (false, 2, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.essence b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.essence
new file mode 100644
index 0000000000..5c566695c6
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.essence
@@ -0,0 +1,3 @@
+given A : (bool,int(1..5),bool)
+find B : (bool,int(1..2),bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.param b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.param
new file mode 100644
index 0000000000..286d800e30
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_3_bools_and_ints/tuple.param
@@ -0,0 +1 @@
+letting A be (false, 1, false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/run.sh b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/run.sh
new file mode 100755
index 0000000000..cd5a0a4091
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/run.sh
@@ -0,0 +1,5 @@
+conjure solve *.essence *.param
+cat conjure-output/*.eprime
+cat *.solution
+rm *.solution
+rm -r conjure-output
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/stdout.expected b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/stdout.expected
new file mode 100644
index 0000000000..cc4ec78612
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/stdout.expected
@@ -0,0 +1,143 @@
+Generating models for tuple.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime tuple.param
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: tuple-tuple.solution
+language ESSENCE' 1.0
+
+given A_1_1: bool
+given A_1_2: bool
+given A_2_1: int(1..5)
+given A_2_2: int(1..5)
+given A_3: bool
+find B_1_1: bool
+find B_1_2: bool
+find B_2_1: int(1..2)
+find B_2_2: int(1..2)
+find B_3: bool
+branching on [B_1_1, B_1_2, B_2_1, B_2_2, B_3]
+such that
+    flatten([flatten([[-toInt(A_1_1); int(1)], [-toInt(A_1_2); int(1)]; int(1..2)]),
+             flatten([[A_2_1; int(1)], [A_2_2; int(1)]; int(1..2)]), [-toInt(A_3); int(1)];
+                 int(1..3)])
+    <lex
+    flatten([flatten([[-toInt(B_1_1); int(1)], [-toInt(B_1_2); int(1)]; int(1..2)]),
+             flatten([[B_2_1; int(1)], [B_2_2; int(1)]; int(1..2)]), [-toInt(B_3); int(1)];
+                 int(1..3)])
+
+$ Conjure's
+$ {"finds": [{"Name": "B"}],
+$  "givens": [{"Name": "A"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Compact": []},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]},
+$              {"DomainTuple":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]}]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]},
+$              {"DomainTuple":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]}]},
+$              {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest":
+$                    [{"rootLabel": null,
+$                      "subForest": []},
+$                     {"rootLabel": null,
+$                      "subForest": []}]},
+$               {"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainTuple":
+$             [{"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]},
+$              {"DomainTuple":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 5]}}]}]]}]},
+$              {"DomainBool": []}]}],
+$       [{"Name": "B"},
+$        {"DomainTuple":
+$             [{"DomainTuple": [{"DomainBool": []}, {"DomainBool": []}]},
+$              {"DomainTuple":
+$                   [{"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]},
+$                    {"DomainInt":
+$                         [{"TagInt": []},
+$                          [{"RangeBounded":
+$                                [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                                 {"Constant": {"ConstantInt": [{"TagInt": []}, 2]}}]}]]}]},
+$              {"DomainBool": []}]}]]}
+language Essence 1.3
+
+letting B be ((false, false), (1, 2), false)
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.essence b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.essence
new file mode 100644
index 0000000000..5f168a41da
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.essence
@@ -0,0 +1,3 @@
+given A : ((bool,bool),(int(1..5),int(1..5)),bool)
+find B : ((bool,bool),(int(1..2),int(1..2)),bool)
+such that A .< B
diff --git a/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.param b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.param
new file mode 100644
index 0000000000..9238d91983
--- /dev/null
+++ b/tests/custom/flatten_lex/find_v_given/tuple_of_tuples/tuple.param
@@ -0,0 +1 @@
+letting A be ((false, false), (1, 1), false)
diff --git a/tests/custom/lex_less_untouched/example1/example.essence b/tests/custom/lex_less_untouched/example1/example.essence
new file mode 100644
index 0000000000..7eba71b801
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example1/example.essence
@@ -0,0 +1,3 @@
+find A : matrix indexed by [int(1..10)] of int(1..10)
+find B : matrix indexed by [int(1..10)] of int(1..10)
+such that A <lex B
diff --git a/tests/custom/lex_less_untouched/example1/run.sh b/tests/custom/lex_less_untouched/example1/run.sh
new file mode 100755
index 0000000000..f6e03aae91
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example1/run.sh
@@ -0,0 +1,3 @@
+conjure modelling example.essence 
+cat conjure-output/model000001.eprime 
+rm -rf conjure-output
diff --git a/tests/custom/lex_less_untouched/example1/stdout.expected b/tests/custom/lex_less_untouched/example1/stdout.expected
new file mode 100644
index 0000000000..bb289c7f7c
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example1/stdout.expected
@@ -0,0 +1,82 @@
+language ESSENCE' 1.0
+
+find A: matrix indexed by [int(1..10)] of int(1..10)
+find B: matrix indexed by [int(1..10)] of int(1..10)
+branching on [A, B]
+such that A <lex B
+
+$ Conjure's
+$ {"finds": [{"Name": "A"}, {"Name": "B"}],
+$  "givens": [],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings": [],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Auto": {"Interactive": []}},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 3]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]}]}]],
+$  "representationsTree":
+$      [[{"Name": "A"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "B"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []}]}]]],
+$  "originalDomains":
+$      [[{"Name": "A"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]}]}],
+$       [{"Name": "B"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]},
+$              {"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Constant": {"ConstantInt": [{"TagInt": []}, 10]}}]}]]}]}]]}
diff --git a/tests/custom/lex_less_untouched/example2/example.essence b/tests/custom/lex_less_untouched/example2/example.essence
new file mode 100644
index 0000000000..9d182e2292
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example2/example.essence
@@ -0,0 +1,5 @@
+given n : int(1..)
+letting ind be domain int(1..n)
+find P : matrix indexed by [ind] of bool
+such that P <=lex [ P[n+1-i] | i : ind ]
+
diff --git a/tests/custom/lex_less_untouched/example2/run.sh b/tests/custom/lex_less_untouched/example2/run.sh
new file mode 100755
index 0000000000..f6e03aae91
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example2/run.sh
@@ -0,0 +1,3 @@
+conjure modelling example.essence 
+cat conjure-output/model000001.eprime 
+rm -rf conjure-output
diff --git a/tests/custom/lex_less_untouched/example2/stdout.expected b/tests/custom/lex_less_untouched/example2/stdout.expected
new file mode 100644
index 0000000000..f032da3964
--- /dev/null
+++ b/tests/custom/lex_less_untouched/example2/stdout.expected
@@ -0,0 +1,73 @@
+language ESSENCE' 1.0
+
+given n: int(1..)
+find P: matrix indexed by [int(1..n)] of bool
+branching on [P]
+such that P <=lex [P[n + 1 - i] | i : int(1..n)]
+
+$ Conjure's
+$ {"finds": [{"Name": "P"}],
+$  "givens": [{"Name": "n"}],
+$  "enumGivens": [],
+$  "enumLettings": [],
+$  "lettings":
+$      [[{"Name": "ind"},
+$        {"Domain":
+$             {"DomainInt":
+$                  [{"TagInt": []},
+$                   [{"RangeBounded":
+$                         [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                          {"Reference":
+$                               [{"Name": "n"},
+$                                {"DeclNoRepr":
+$                                     ["Given", {"Name": "n"},
+$                                      {"DomainInt":
+$                                           [{"TagInt": []},
+$                                            [{"RangeLowerBounded":
+$                                                  {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}}]]},
+$                                      {"NoRegion": []}]}]}]}]]}}]],
+$  "unnameds": [],
+$  "strategyQ": {"PickFirst": []},
+$  "strategyA": {"Auto": {"Interactive": []}},
+$  "trailCompact": [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]],
+$  "trailVerbose": [],
+$  "trailRewrites": [],
+$  "nameGenState": [["q", 2]],
+$  "nbExtraGivens": 0,
+$  "representations":
+$      [[{"Name": "n"},
+$        {"DomainInt": [{"TagInt": []}, [{"RangeLowerBounded": {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}}]]}],
+$       [{"Name": "P"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}},
+$                           {"Reference":
+$                                [{"Name": "n"},
+$                                 {"DeclHasRepr":
+$                                      ["Given", {"Name": "n"},
+$                                       {"DomainInt":
+$                                            [{"TagInt": []},
+$                                             [{"RangeLowerBounded":
+$                                                   {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}}]]}]}]}]}]]},
+$              {"DomainBool": []}]}]],
+$  "representationsTree":
+$      [[{"Name": "P"},
+$        [{"rootLabel": null,
+$          "subForest":
+$              [{"rootLabel": null,
+$                "subForest": []}]}]],
+$       [{"Name": "n"},
+$        [{"rootLabel": null,
+$          "subForest": []}]]],
+$  "originalDomains":
+$      [[{"Name": "n"},
+$        {"DomainInt": [{"TagInt": []}, [{"RangeLowerBounded": {"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}}]]}],
+$       [{"Name": "P"},
+$        {"DomainMatrix":
+$             [{"DomainInt":
+$                   [{"TagInt": []},
+$                    [{"RangeBounded":
+$                          [{"Constant": {"ConstantInt": [{"TagInt": []}, 1]}}, {"Reference": [{"Name": "n"}, null]}]}]]},
+$              {"DomainBool": []}]}]]}