From 5b7e7ed57d5bacde9ceeb0dbd2102e7a11390bda Mon Sep 17 00:00:00 2001
From: MatthewDaggitt <matthewdaggitt@gmail.com>
Date: Tue, 28 Mar 2023 17:56:10 +0900
Subject: [PATCH] Fix versioning

---
 vehicle-python/pyproject.toml                                   | 2 +-
 vehicle-syntax/vehicle-syntax.cabal                             | 2 +-
 vehicle/tests/golden/compile/acasXu/Agda.agda.golden            | 2 +-
 .../compile/acasXu/Marabou.queries/property1-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property10-query1.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property10-query2.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property10-query3.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property10-query4.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property2-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property3-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property4-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property5-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property5-query2.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property5-query3.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property5-query4.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query2.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query3.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query4.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query5.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query6.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query7.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property6-query8.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property7-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property7-query2.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query10.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query11.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query12.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query13.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query14.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query15.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query16.txt.golden | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query2.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query3.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query4.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query5.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query6.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query7.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query8.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property8-query9.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property9-query1.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property9-query2.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property9-query3.txt.golden  | 2 +-
 .../compile/acasXu/Marabou.queries/property9-query4.txt.golden  | 2 +-
 vehicle/tests/golden/compile/andGate/Agda.agda.golden           | 2 +-
 .../andGate/Marabou.queries/andGateCorrect-query1.txt.golden    | 2 +-
 .../andGate/Marabou.queries/andGateCorrect-query2.txt.golden    | 2 +-
 .../andGate/Marabou.queries/andGateCorrect-query3.txt.golden    | 2 +-
 .../andGate/Marabou.queries/andGateCorrect-query4.txt.golden    | 2 +-
 vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden  | 2 +-
 .../autoencoderError/Marabou.queries/identity-query1.txt.golden | 2 +-
 .../Marabou.queries/identity-query10.txt.golden                 | 2 +-
 .../autoencoderError/Marabou.queries/identity-query2.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query3.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query4.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query5.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query6.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query7.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query8.txt.golden | 2 +-
 .../autoencoderError/Marabou.queries/identity-query9.txt.golden | 2 +-
 .../compile/bounded/Marabou.queries/bounded-query1.txt.golden   | 2 +-
 .../compile/bounded/Marabou.queries/bounded-query2.txt.golden   | 2 +-
 vehicle/tests/golden/compile/increasing/Agda.agda.golden        | 2 +-
 .../increasing/Marabou.queries/increasing-query1.txt.golden     | 2 +-
 vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden  | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query1.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query2.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query3.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query4.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query5.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query6.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query7.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query8.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!0-query9.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query1.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query2.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query3.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query4.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query5.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query6.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query7.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query8.txt.golden | 2 +-
 .../mnist-robustness/Marabou.queries/robust!1-query9.txt.golden | 2 +-
 vehicle/tests/golden/compile/monotonicity/Agda.agda.golden      | 2 +-
 .../monotonicity/Marabou.queries/monotonic-query1.txt.golden    | 2 +-
 .../compile/quantifierInIf/Marabou.queries/p-query1.txt.golden  | 2 +-
 vehicle/tests/golden/compile/reachability/Agda.agda.golden      | 2 +-
 .../reachability/Marabou.queries/reachable-query1.txt.golden    | 2 +-
 vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden | 2 +-
 .../tests/golden/compile/simple-constantInput/Agda.agda.golden  | 2 +-
 .../simple-constantInput/Marabou.queries/spec-query1.txt.golden | 2 +-
 .../Marabou.queries/p-query1.txt.golden                         | 2 +-
 .../simple-foreach/Marabou.queries/index!0-query1.txt.golden    | 2 +-
 .../simple-foreach/Marabou.queries/index!1-query1.txt.golden    | 2 +-
 .../Marabou.queries/underConstrainedVar1-query1.txt.golden      | 2 +-
 .../Marabou.queries/underConstrainedVar2-query1.txt.golden      | 2 +-
 .../Marabou.queries/underConstrainedVars-query1.txt.golden      | 2 +-
 .../Marabou.queries/unusedVar-query1.txt.golden                 | 2 +-
 .../simple-gaussianElim/Marabou.queries/test1-query1.txt.golden | 2 +-
 .../simple-gaussianElim/Marabou.queries/test2-query1.txt.golden | 2 +-
 .../golden/compile/simple-generalisedVariables/Agda.agda.golden | 2 +-
 vehicle/tests/golden/compile/simple-if/Agda.agda.golden         | 2 +-
 .../compile/simple-if/Marabou.queries/prop1-query1.txt.golden   | 2 +-
 .../compile/simple-if/Marabou.queries/prop1-query2.txt.golden   | 2 +-
 .../compile/simple-if/Marabou.queries/prop2-query1.txt.golden   | 2 +-
 .../compile/simple-if/Marabou.queries/prop2-query2.txt.golden   | 2 +-
 .../compile/simple-if/Marabou.queries/prop3-query1.txt.golden   | 2 +-
 .../compile/simple-if/Marabou.queries/prop3-query2.txt.golden   | 2 +-
 vehicle/tests/golden/compile/simple-index/Agda.agda.golden      | 2 +-
 vehicle/tests/golden/compile/simple-let/Agda.agda.golden        | 2 +-
 vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden | 2 +-
 .../simple-pruneDecls/Marabou.queries/p2-query1.txt.golden      | 2 +-
 vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden | 2 +-
 .../Marabou.queries/expandedExpr-query1.txt.golden              | 2 +-
 .../Marabou.queries/parallel-query1.txt.golden                  | 2 +-
 .../Marabou.queries/parallel-query2.txt.golden                  | 2 +-
 .../Marabou.queries/sequential-query1.txt.golden                | 2 +-
 .../tests/golden/compile/simple-quantifierIn/Agda.agda.golden   | 2 +-
 vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden     | 2 +-
 .../compile/simple-tensor/Marabou.queries/p-query1.txt.golden   | 2 +-
 .../compile/simple-tensor/Marabou.queries/p-query2.txt.golden   | 2 +-
 .../compile/simple-tensor/Marabou.queries/p-query3.txt.golden   | 2 +-
 .../compile/simple-tensor/Marabou.queries/p-query4.txt.golden   | 2 +-
 .../tests/golden/compile/simple-triviallyTrue/Agda.agda.golden  | 2 +-
 .../tests/golden/compile/simple-untypedDecls/Agda.agda.golden   | 2 +-
 vehicle/tests/golden/compile/simple-vector/Agda.agda.golden     | 2 +-
 .../compile/simple-vector/Marabou.queries/p-query1.txt.golden   | 2 +-
 vehicle/tests/golden/compile/windController/Agda.agda.golden    | 2 +-
 .../windController/Marabou.queries/safe-query1.txt.golden       | 2 +-
 .../windController/Marabou.queries/safe-query2.txt.golden       | 2 +-
 vehicle/vehicle.cabal                                           | 2 +-
 132 files changed, 132 insertions(+), 132 deletions(-)

diff --git a/vehicle-python/pyproject.toml b/vehicle-python/pyproject.toml
index cfddb49c5..387fb7b6f 100644
--- a/vehicle-python/pyproject.toml
+++ b/vehicle-python/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "vehicle"
-version = "0.1.0"
+version = "0.2.0"
 description = "Python bindings for the Vehicle language."
 authors = [
   "Marco Casadio <tgl70@users.noreply.github.com>",
diff --git a/vehicle-syntax/vehicle-syntax.cabal b/vehicle-syntax/vehicle-syntax.cabal
index 3beb20c25..05c704735 100644
--- a/vehicle-syntax/vehicle-syntax.cabal
+++ b/vehicle-syntax/vehicle-syntax.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               vehicle-syntax
-version:            0.1.0
+version:            0.2.0
 description:
   Please see the README on GitHub at <https://github.com/vehicle-lang/vehicle#readme>
 
diff --git a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden
index aca62530d..bf93fec71 100644
--- a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden
index eecc4d383..24fde2f39 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 1500.0
 x0 >= 0.6
 x3 >= 0.45
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden
index 8f250ab27..d51a9257a 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 x0 >= 0.26897842717512155
 x0 <= 0.6798577687061284
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden
index 865707d09..8a822b533 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 x0 >= 0.26897842717512155
 x0 <= 0.6798577687061284
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden
index abc8b3a15..bf85046a4 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 x0 >= 0.26897842717512155
 x0 <= 0.6798577687061284
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden
index 2ea0e67f9..cd4c7e43b 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 x0 >= 0.26897842717512155
 x0 <= 0.6798577687061284
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden
index e3afd1386..4f7fba36f 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 -y0 +y2 <= 0.0
 -y0 +y3 <= 0.0
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden
index 245481e81..1bdccbd21 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden
index 02caf406b..088e2060f 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y0 -y1 <= 0.0
 +y0 -y2 <= 0.0
 +y0 -y3 <= 0.0
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden
index e584eaee0..dc75bf633 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y0 -y4 <= 0.0
 x0 >= -0.32427425698212775
 x0 <= -0.3217850848807687
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden
index d246ddd18..9ab5a2acc 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y1 -y4 <= 0.0
 x0 >= -0.32427425698212775
 x0 <= -0.3217850848807687
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden
index a3c6f1148..7a678bed5 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y4 <= 0.0
 x0 >= -0.32427425698212775
 x0 <= -0.3217850848807687
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden
index 675f4a77c..d45cdb937 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y3 -y4 <= 0.0
 x0 >= -0.32427425698212775
 x0 <= -0.3217850848807687
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden
index b5ccd7fdf..b5507b055 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden
index d786c44ec..4f26b9c9c 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden
index 9e0171082..017935639 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden
index 1d8e52e53..abf681d2a 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden
index 90f86d1f5..b0c948529 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden
index 671336ad0..6af2c5ae4 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden
index 056e06321..5bdf58e74 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden
index 0876e5a36..85b29032b 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 x0 >= -0.12928910904233254
 x0 <= 0.7004349247440301
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden
index 322ad6fd6..23c9ffeec 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 -y2 +y3 <= 0.0
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden
index 74f8a4ff6..79557b920 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 -y2 +y4 <= 0.0
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden
index 99bcc6eea..6e9426802 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden
index 191374813..d9bba235c 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden
index 7c7e61a4d..211905a1e 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden
index a03f233eb..6be8795ed 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden
index 23cee1a62..c61207698 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden
index bf63a5891..1ac01f946 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden
index c3f01d419..d1cc8687e 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden
index f191f43b0..fcb7837af 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y4 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden
index 6957080bb..f3a5ac7f2 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden
index dfab36605..72b42ec5b 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden
index 49e33dfc8..460a53f26 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden
index 59da6e19a..66af37b70 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden
index 2d3497914..425a61d1a 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 -y1 +y2 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden
index 988f0b21b..ecde5e06b 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 -y1 +y3 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden
index 3c7be8f77..9da6d6c49 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 -y1 +y4 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden
index 4a4f34baa..fbc68bedb 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y3 <= 0.0
 +y0 -y1 <= 0.0
 x0 >= -0.32842287715105956
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden
index 9f562088e..c466cc9d5 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y0 -y3 <= 0.0
 x0 >= -0.29523391579960506
 x0 <= -0.2122615124209688
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden
index bb174c66a..cfa81ec34 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y1 -y3 <= 0.0
 x0 >= -0.29523391579960506
 x0 <= -0.2122615124209688
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden
index f6c30ea71..f4ae060b9 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y3 <= 0.0
 x0 >= -0.29523391579960506
 x0 <= -0.2122615124209688
diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden
index 7e69728ab..8a179b969 100644
--- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden
+++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +y4 <= 0.0
 x0 >= -0.29523391579960506
 x0 <= -0.2122615124209688
diff --git a/vehicle/tests/golden/compile/andGate/Agda.agda.golden b/vehicle/tests/golden/compile/andGate/Agda.agda.golden
index 04b5bc1ee..a1010e6b6 100644
--- a/vehicle/tests/golden/compile/andGate/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/andGate/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden
index 55bd2c64b..c61966ad5 100644
--- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden
+++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.5
 x0 >= 0.0
 x0 <= 1.0
diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden
index 89c2ac2d8..a285fe4a2 100644
--- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden
+++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.5
 x0 >= 0.0
 x0 <= 1.0
diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden
index 330d041e6..9b0539e2e 100644
--- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden
+++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.5
 x0 >= 0.0
 x0 <= 1.0
diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden
index f44115818..85d6953cb 100644
--- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden
+++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.5
 x0 >= 0.0
 x0 <= 1.0
diff --git a/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden b/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden
index f18556ddb..983452576 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden
index 21b57ebdc..10284b224 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 -x0 +x4 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden
index d7289892e..b51968086 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 +y2 -y6 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden
index a0127eeb0..8db0247ef 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 +x0 -x4 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden
index 8cd0dd890..7c9bef64c 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 -x1 +x5 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden
index 70baedf5b..f8b0228ac 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 +x1 -x5 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden
index 5a8395898..f2f84df8b 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 -y0 +x6 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden
index 2237c7d5c..cdbd58683 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 +y0 -x6 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden
index ee6f8c0c3..1af92209c 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 -y1 +y5 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden
index 244258905..2e2980c53 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 +y1 -y5 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden
index 4baa2e4bf..037b58bb1 100644
--- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden
+++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +x2 = 0.0
 -y4 +x3 = 0.0
 -y2 +y6 <= -0.1
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden
index 3c2d52673..eabdb5ce3 100644
--- a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden
+++ b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
 x0 >= 0.0
 x0 <= 1.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden
index f69d2bbbc..fbc85759e 100644
--- a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden
+++ b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 1.0
 x0 >= 0.0
 x0 <= 1.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/increasing/Agda.agda.golden b/vehicle/tests/golden/compile/increasing/Agda.agda.golden
index cc975fe84..b4416f0a2 100644
--- a/vehicle/tests/golden/compile/increasing/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/increasing/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden b/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden
index 731ab4fd4..4113ed790 100644
--- a/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden
+++ b/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -x0 +y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden b/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden
index bf1106462..01a3838b0 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden
index 25af2fe93..5309e9414 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden
index 0c69b1dba..2937a4ff6 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y1 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden
index 066fd6455..02d5e4fad 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y2 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden
index 6b438e5a0..b2d6d01e5 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y3 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden
index 50a309ae2..ce38c27dd 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y4 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden
index 833a8b920..d588c305b 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y5 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden
index 3021a32c7..d6d91f94b 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y6 +y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden
index 672e8d8cf..fccd48a58 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y7 -y8 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden
index 9274e9dcb..5a8477aaf 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y7 -y9 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden
index 5d7e119f6..dc62b6673 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y2 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden
index 36982e919..64d24074b 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y1 +y2 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden
index 5ff6b56a2..fe1303f3a 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y3 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden
index 8d5206f71..9b078146a 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y4 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden
index 0ca5b766d..98893e4f0 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y5 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden
index fc3011f48..defe6fb16 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y6 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden
index 7181ba22a..db4c46de7 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y7 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden
index 3c4a1f5af..5b82bed7a 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y8 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden
index 0020319ae..5fb9b2eb2 100644
--- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden
+++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y2 -y9 <= 0.0
 x0 <= 0.1
 x0 >= -0.1
diff --git a/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden b/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden
index c25daf061..876f43f66 100644
--- a/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden
index 9223065a6..6562e1f52 100644
--- a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden
+++ b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 -y0 +y1 <= 0.0
 +x0 -x1 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden
index 60910e453..93bfedd0f 100644
--- a/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden
+++ b/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/reachability/Agda.agda.golden b/vehicle/tests/golden/compile/reachability/Agda.agda.golden
index 555213cf1..06b243487 100644
--- a/vehicle/tests/golden/compile/reachability/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/reachability/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden b/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden
index cc003d04f..0a2308130 100644
--- a/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden
+++ b/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 = 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden b/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden
index 8891020c4..bb5d46d98 100644
--- a/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden b/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden
index 51b4ebdd1..739c84597 100644
--- a/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden
index 5810603af..c3d1b249b 100644
--- a/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x1 = 0.0
 y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden
index 7ec78f96e..7e349427a 100644
--- a/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 y0 = 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden
index 92ee0c996..d856f5816 100644
--- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 y0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden
index 4b4b46aef..cd506dc9f 100644
--- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 y1 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden
index 86949b64a..b31aebd9f 100644
--- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
 x0 >= 3.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden
index 86949b64a..b31aebd9f 100644
--- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
 x0 >= 3.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden
index 005f0d0ef..f428c4f35 100644
--- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 2.0
 x0 >= 2.5
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden
index 3bb6fc1d6..7e5189d11 100644
--- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden
index 7b7e44934..a44298448 100644
--- a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 = 0.0
 x0 >= 2.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden
index c7499d663..704a98e50 100644
--- a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 = 0.0
 -2.0x0 +x1 <= -1.0
 3.0x0 -2.0x1 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden b/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden
index 8891020c4..bb5d46d98 100644
--- a/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-if/Agda.agda.golden b/vehicle/tests/golden/compile/simple-if/Agda.agda.golden
index 28212ace5..62da85f92 100644
--- a/vehicle/tests/golden/compile/simple-if/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-if/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden
index a0ec7e200..f7cc868a3 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
 x0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden
index 085676175..e7cae8fd7 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
 x0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden
index 3c907cde5..910244500 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
 x0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden
index fd15f40ed..49c568c8b 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.2
 y0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden
index 3c907cde5..910244500 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 0.0
 x0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden
index 7f9fe7abf..cc46d057a 100644
--- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden
+++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
 x0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-index/Agda.agda.golden b/vehicle/tests/golden/compile/simple-index/Agda.agda.golden
index b40e805f7..7dffede47 100644
--- a/vehicle/tests/golden/compile/simple-index/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-index/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-let/Agda.agda.golden b/vehicle/tests/golden/compile/simple-let/Agda.agda.golden
index 08ae60833..4ad85591e 100644
--- a/vehicle/tests/golden/compile/simple-let/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-let/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden
index b97d32bee..f626ea455 100644
--- a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden
index 60910e453..93bfedd0f 100644
--- a/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden
index 37ba93066..d5fbb205d 100644
--- a/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden
index 72b84f687..83ad3152d 100644
--- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +x0 -y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden
index 60910e453..93bfedd0f 100644
--- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden
index fd4e6f516..06c07cbcd 100644
--- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden
+++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 y0 >= 5.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden
index 6fc960e35..0b3e40d5b 100644
--- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden
@@ -2,5 +2,5 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 +y0 -y1 <= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden
index e789fc47d..ec9b95ce8 100644
--- a/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden b/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden
index 26176f445..507df8ee5 100644
--- a/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden
index 525e9d361..e71a76eba 100644
--- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 x2 = 0.0
diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden
index 63681d8d2..399507141 100644
--- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden
+++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 x2 = 0.0
diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden
index 1434668bc..02a3ae7c1 100644
--- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden
+++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 x2 = 0.0
diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden
index c5ad1d56a..b8cab8da5 100644
--- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden
+++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 x1 = 0.0
 x2 = 0.0
diff --git a/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden b/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden
index 4a009795a..0de61c981 100644
--- a/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden
index 8891020c4..bb5d46d98 100644
--- a/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden b/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden
index d976821a6..f3fe68730 100644
--- a/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden
index aa5426414..f1955ce88 100644
--- a/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden
+++ b/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden
@@ -2,6 +2,6 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 = 0.0
 y0 >= 0.0
\ No newline at end of file
diff --git a/vehicle/tests/golden/compile/windController/Agda.agda.golden b/vehicle/tests/golden/compile/windController/Agda.agda.golden
index 1a738cf6d..2c7ab1d44 100644
--- a/vehicle/tests/golden/compile/windController/Agda.agda.golden
+++ b/vehicle/tests/golden/compile/windController/Agda.agda.golden
@@ -2,7 +2,7 @@
 -- and should not be modified manually!
 -- Metadata:
 --  - Agda version: 2.6.2
---  - Vehicle version: 0.1.0
+--  - Vehicle version: 0.2.0
 
 {-# OPTIONS --allow-exec #-}
 
diff --git a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden
index b5ec81a70..c2eafb265 100644
--- a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden
+++ b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 >= -3.25
 x0 <= 3.25
 x1 >= -3.25
diff --git a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden
index 6d3fdfe11..0e62e8dbc 100644
--- a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden
+++ b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden
@@ -2,7 +2,7 @@
 // and should not be modified manually!
 // Metadata:
 //  - Marabou query format version: unknown
-//  - Vehicle version: 0.1.0
+//  - Vehicle version: 0.2.0
 x0 >= -3.25
 x0 <= 3.25
 x1 >= -3.25
diff --git a/vehicle/vehicle.cabal b/vehicle/vehicle.cabal
index 77b0515d8..4ba302721 100644
--- a/vehicle/vehicle.cabal
+++ b/vehicle/vehicle.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.4
 name:          vehicle
-version:       0.1.0
+version:       0.2.0
 description:
   Please see the README on GitHub at <https://github.com/vehicle-lang/vehicle#readme>