diff --git a/eo-runtime/src/main/eo/bool.eo b/eo-runtime/src/main/eo/bool.eo
index 8dc604db293..04d374e63ac 100644
--- a/eo-runtime/src/main/eo/bool.eo
+++ b/eo-runtime/src/main/eo/bool.eo
@@ -22,6 +22,16 @@
 
   if true (01-.eq x) > [x] > or
 
+  ++> tests-if-result-answers-right-method-of-chosen-branch
+    eq. > @
+      (true.if 00-00-00-00-00-00-00-05 00-00-00-00-00-00-00-09).right 1
+      00-00-00-00-00-00-00-02
+
+  ++> tests-if-result-answers-left-method-of-chosen-branch
+    eq. > @
+      (false.if 00-00-00-00-00-00-00-09 00-00-00-00-00-00-00-05).left 1
+      00-00-00-00-00-00-00-0A
+
   ++> tests-compares-two-bools
     eq. > @
       true
diff --git a/eo-runtime/src/main/eo/false.eo b/eo-runtime/src/main/eo/false.eo
index 381f0a36aab..e798bb44feb 100644
--- a/eo-runtime/src/main/eo/false.eo
+++ b/eo-runtime/src/main/eo/false.eo
@@ -10,4 +10,4 @@
 +unlint mandatory-package
 
 bool > false
-  right > [left right]
+  right-branch > [left-branch right-branch]
diff --git a/eo-runtime/src/main/eo/true.eo b/eo-runtime/src/main/eo/true.eo
index 81f63ba9d10..736d082d371 100644
--- a/eo-runtime/src/main/eo/true.eo
+++ b/eo-runtime/src/main/eo/true.eo
@@ -10,4 +10,4 @@
 +unlint mandatory-package
 
 bool > true
-  left > [left right]
+  left-branch > [left-branch right-branch]