LPCIC
diff --git a/‎tests/sources/trace2.elab.json‎
Lines changed: 9 additions & 9 deletions b/‎tests/sources/trace2.elab.json‎
Lines changed: 9 additions & 9 deletions
diff --git a/‎tests/sources/trace2.json‎
Lines changed: 1 addition & 1 deletion b/‎tests/sources/trace2.json‎
Lines changed: 1 addition & 1 deletion
@@ -21,7 +21,7 @@
               "rule": [
                 "UserRule",
                 {
-                  "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                  "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                   "rule_loc": [
                     "File",
                     {
@@ -51,7 +51,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -102,7 +102,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -158,7 +158,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -216,7 +216,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -277,7 +277,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -346,7 +346,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -445,7 +445,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
@@ -522,7 +522,7 @@
             "rule": [
               "UserRule",
               {
-                "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",
+                "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",
                 "rule_loc": [
                   "File",
                   {
 
@@ -2,7 +2,7 @@
 {"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:curgoal","payload" : ["main","main"]}
 {"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule","payload" : ["backchain"]}
 {"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:candidates","payload" : ["File \"tests/sources/trace2.elpi\", line 1, column 0, characters 0-56:"]}
-{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace2.elpi\", line 1, column 0, characters 0-56:","main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail))))))."]}
+{"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:rule:backchain:try","payload" : ["File \"tests/sources/trace2.elpi\", line 1, column 0, characters 0-56:","main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail)))))."]}
 {"step" : 1,"kind" : ["Info"],"goal_id" : 4,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["5"]}
 {"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:newgoal","payload" : ["print 1"]}
 {"step" : 1,"kind" : ["Info"],"goal_id" : 5,"runtime_id" : 0,"name" : "user:subgoal","payload" : ["6"]}
Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@`
`21`	`21`	`"rule": [`
`22`	`22`	`"UserRule",`
`23`	`23`	`{`
`24`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`24`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`25`	`25`	`"rule_loc": [`
`26`	`26`	`"File",`
`27`	`27`	`{`
`@@ -51,7 +51,7 @@`
`51`	`51`	`"rule": [`
`52`	`52`	`"UserRule",`
`53`	`53`	`{`
`54`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`54`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`55`	`55`	`"rule_loc": [`
`56`	`56`	`"File",`
`57`	`57`	`{`
`@@ -102,7 +102,7 @@`
`102`	`102`	`"rule": [`
`103`	`103`	`"UserRule",`
`104`	`104`	`{`
`105`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`105`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`106`	`106`	`"rule_loc": [`
`107`	`107`	`"File",`
`108`	`108`	`{`
`@@ -158,7 +158,7 @@`
`158`	`158`	`"rule": [`
`159`	`159`	`"UserRule",`
`160`	`160`	`{`
`161`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`161`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`162`	`162`	`"rule_loc": [`
`163`	`163`	`"File",`
`164`	`164`	`{`
`@@ -216,7 +216,7 @@`
`216`	`216`	`"rule": [`
`217`	`217`	`"UserRule",`
`218`	`218`	`{`
`219`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`219`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`220`	`220`	`"rule_loc": [`
`221`	`221`	`"File",`
`222`	`222`	`{`
`@@ -277,7 +277,7 @@`
`277`	`277`	`"rule": [`
`278`	`278`	`"UserRule",`
`279`	`279`	`{`
`280`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`280`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`281`	`281`	`"rule_loc": [`
`282`	`282`	`"File",`
`283`	`283`	`{`
`@@ -346,7 +346,7 @@`
`346`	`346`	`"rule": [`
`347`	`347`	`"UserRule",`
`348`	`348`	`{`
`349`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`349`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`350`	`350`	`"rule_loc": [`
`351`	`351`	`"File",`
`352`	`352`	`{`
`@@ -445,7 +445,7 @@`
`445`	`445`	`"rule": [`
`446`	`446`	`"UserRule",`
`447`	`447`	`{`
`448`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`448`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`449`	`449`	`"rule_loc": [`
`450`	`450`	`"File",`
`451`	`451`	`{`
`@@ -522,7 +522,7 @@`
`522`	`522`	`"rule": [`
`523`	`523`	`"UserRule",`
`524`	`524`	`{`
`525`		`- "rule_text": "main :- (print 1), (pi (c0 \\ (sigma (c1 \\ (fail => (true , fail)))))).",`
	`525`	`+ "rule_text": "main :- (print 1), (pi c0 \\ (sigma (c1 \\ (fail => (true , fail))))).",`
`526`	`526`	`"rule_loc": [`
`527`	`527`	`"File",`
`528`	`528`	`{`