From 5bf920da3ae7e5f76a8008f3487ef8a04be9c5b9 Mon Sep 17 00:00:00 2001
From: Kacper Marzecki <kacper.marzecki@schibsted.com>
Date: Mon, 16 Jun 2025 20:59:23 +0200
Subject: [PATCH] checkpoint

---
 test1.exs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/test1.exs b/test1.exs
index c0a8eff..7f0b30a 100644
--- a/test1.exs
+++ b/test1.exs
@@ -1081,9 +1081,6 @@ defmodule Tdd do
         type_none()
 
       {var, y, n, d} ->
-        # --- START OF THE CRUCIAL NEW LOGIC ---
-        # Special check for list head/tail vs. all_elements contradiction.
-        # This logic MUST be here because it requires calling TDD operations (intersect).
         contradiction =
           case var do
             {5, :head, head_predicate} ->
@@ -1125,8 +1122,6 @@ defmodule Tdd do
           # The 'yes' branch is impossible. The node simplifies to its 'no' branch.
           simplify(n, constraints)
         else
-          # --- END OF NEW LOGIC ---
-          # Proceed with the original simplification logic.
           case Map.get(constraints, var) do
             true ->
               simplify(y, constraints)