From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 14 Aug 2025 02:49:20 +0200
Subject: Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.
---
 test/golden/abbr/generating tasks.golden | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

(limited to 'test/golden/abbr/generating tasks.golden')

diff --git a/test/golden/abbr/generating tasks.golden b/test/golden/abbr/generating tasks.golden
index 397fafe..d438481 100644
--- a/test/golden/abbr/generating tasks.golden	
+++ b/test/golden/abbr/generating tasks.golden	
@@ -117,17 +117,25 @@
             )
         ]
     , taskConjectureLabel = Marker "dummy_abbr_test_noun"
-    , taskConjecture = TermSymbol
-        ( SymbolPredicate
-            ( PredicateRelation
-                ( Symbol "=" )
+    , taskConjecture = Quantified Universally
+        ( Scope
+            ( TermSymbol
+                ( SymbolPredicate
+                    ( PredicateRelation
+                        ( Symbol "=" )
+                    )
+                )
+                [ TermVar
+                    ( B
+                        ( NamedVar "x" )
+                    )
+                , TermVar
+                    ( B
+                        ( NamedVar "x" )
+                    )
+                ]
             )
         )
-        [ TermVar
-            ( NamedVar "x" )
-        , TermVar
-            ( NamedVar "x" )
-        ]
     }
 , Task
     { taskDirectness = Direct
-- 
cgit v1.2.3