diff --git a/src/main/dig/combinatorial/FullAdder.dig b/src/main/dig/combinatorial/FullAdder.dig
index 5f3e1256f..efa7c4c03 100644
--- a/src/main/dig/combinatorial/FullAdder.dig
+++ b/src/main/dig/combinatorial/FullAdder.dig
@@ -135,12 +135,12 @@
XOr
-
+
And
-
+
And
@@ -165,7 +165,7 @@
A_i
-
+
Or
@@ -185,7 +185,7 @@
B_i
-
+
In
@@ -200,7 +200,7 @@
C_{i-1}
-
+
Out
@@ -255,39 +255,39 @@ end loop
-
-
+
+
-
-
+
+
-
-
-
-
-
-
+
+
-
+
-
+
+
+
+
+
-
+
@@ -299,24 +299,24 @@ end loop
-
-
+
+
-
-
+
+
-
-
+
+
@@ -331,7 +331,7 @@ end loop
-
+
@@ -339,12 +339,12 @@ end loop
-
-
+
+
-
-
+
+
diff --git a/src/main/dig/combinatorial/HalfAdder.dig b/src/main/dig/combinatorial/HalfAdder.dig
index 5e5383387..c66151a3c 100644
--- a/src/main/dig/combinatorial/HalfAdder.dig
+++ b/src/main/dig/combinatorial/HalfAdder.dig
@@ -72,12 +72,12 @@
-
-
+
+
-
-
+
+
@@ -111,5 +111,13 @@
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/main/dig/combinatorial/HalfSub.dig b/src/main/dig/combinatorial/HalfSub.dig
index 109091182..e2f4b290f 100644
--- a/src/main/dig/combinatorial/HalfSub.dig
+++ b/src/main/dig/combinatorial/HalfSub.dig
@@ -1,6 +1,7 @@
1
+
XOr
@@ -9,7 +10,14 @@
And
-
+
+
+ inverterConfig
+
+ In_1
+
+
+
@@ -20,7 +28,7 @@
$A$
-
+
In
@@ -30,7 +38,7 @@
$B$
-
+
Out
@@ -52,11 +60,6 @@
-
- Not
-
-
-
Testcase
@@ -77,20 +80,24 @@
-
-
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
@@ -101,24 +108,24 @@
-
+
-
-
+
+
-
+
-
-
+
+
-
-
+
+
\ No newline at end of file
diff --git a/src/test/resources/dig/test/arith/FullSub.dig b/src/test/resources/dig/test/arith/FullSub.dig
index fa636eab7..7f27fe064 100644
--- a/src/test/resources/dig/test/arith/FullSub.dig
+++ b/src/test/resources/dig/test/arith/FullSub.dig
@@ -37,7 +37,7 @@
Label
- BO_i-1
+ BO_{i-1}
@@ -83,7 +83,7 @@
Testdata
- A_i B_i BO_i-1 BO_i S_i
+ A_i B_i BO_{i-1} BO_i S_i
0 0 0 0 0
0 0 1 1 1
0 1 0 1 1
diff --git a/src/test/resources/dig/test/arith/HalfAdder.dig b/src/test/resources/dig/test/arith/HalfAdder.dig
index 5e5383387..c66151a3c 100644
--- a/src/test/resources/dig/test/arith/HalfAdder.dig
+++ b/src/test/resources/dig/test/arith/HalfAdder.dig
@@ -72,12 +72,12 @@
-
-
+
+
-
-
+
+
@@ -111,5 +111,13 @@
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/test/resources/dig/test/arith/HalfSub.dig b/src/test/resources/dig/test/arith/HalfSub.dig
index 109091182..b82c26c62 100644
--- a/src/test/resources/dig/test/arith/HalfSub.dig
+++ b/src/test/resources/dig/test/arith/HalfSub.dig
@@ -1,6 +1,7 @@
1
+
XOr
@@ -9,7 +10,14 @@
And
-
+
+
+ inverterConfig
+
+ In_1
+
+
+
@@ -20,7 +28,7 @@
$A$
-
+
In
@@ -30,7 +38,7 @@
$B$
-
+
Out
@@ -52,11 +60,6 @@
-
- Not
-
-
-
Testcase
@@ -77,21 +80,21 @@
-
-
+
+
-
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
@@ -105,20 +108,20 @@
-
-
+
+
-
+
-
-
+
+
-
-
+
+
\ No newline at end of file