Validate relation parameter arity

1 files changed, 39 insertions, 0 deletions

diff --git a/test/golden/union/generating tasks.golden b/test/golden/union/generating tasks.golden
index e38c629..06620f8 100644
--- a/test/golden/union/generating tasks.golden
+++ b/test/golden/union/generating tasks.golden
@@ -17,6 +17,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Command "in" )
+                                        ( ParameterArity 0 )
                                         ( Marker "elem" )
                                     )
                                 )
@@ -65,6 +66,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -90,6 +92,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -125,6 +128,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -154,6 +158,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -186,6 +191,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -220,6 +226,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -286,6 +293,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -361,6 +369,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Command "in" )
+                                        ( ParameterArity 0 )
                                         ( Marker "elem" )
                                     )
                                 )
@@ -409,6 +418,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -434,6 +444,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -469,6 +480,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -498,6 +510,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -530,6 +543,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -567,6 +581,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -642,6 +657,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -725,6 +741,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -800,6 +817,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Command "in" )
+                                        ( ParameterArity 0 )
                                         ( Marker "elem" )
                                     )
                                 )
@@ -848,6 +866,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -873,6 +892,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -908,6 +928,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -937,6 +958,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -969,6 +991,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -999,6 +1022,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1074,6 +1098,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1161,6 +1186,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -1236,6 +1262,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -1319,6 +1346,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1394,6 +1422,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Command "in" )
+                                        ( ParameterArity 0 )
                                         ( Marker "elem" )
                                     )
                                 )
@@ -1442,6 +1471,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -1467,6 +1497,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -1502,6 +1533,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -1531,6 +1563,7 @@
                                         ( PredicateRelation
                                             ( RelationSymbol
                                                 ( Command "in" )
+                                                ( ParameterArity 0 )
                                                 ( Marker "elem" )
                                             )
                                         )
@@ -1563,6 +1596,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -1593,6 +1627,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1668,6 +1703,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1748,6 +1784,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1823,6 +1860,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1907,6 +1945,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )