Improve scanning

Fixes scanning of relation symbols and adds a few error cases for function symbols.

1 files changed, 17 insertions, 9 deletions

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