t/*: Add sortInjection{} attr needed by newer versions of kore-exec

Author: nishantjr

t/foobar/expected.ekore

@@ -18,7 +18,7 @@ endmodule [  ]
 
 module C-INJ
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 endmodule [  ]
 
 module D-K

t/foobar/foobar.ekore

@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
 
   axiom{S1,S2,S3,R}
     \equals{S3,R}(

t/imp-simple/expected.ekore

@@ -23,7 +23,7 @@ endmodule [  ]
 module C-INJ
 
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 
 endmodule [  ]
 

t/imp-simple/imp-simple.ekore

@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
 
   axiom{S1,S2,S3,R}
     \equals{S3,R}(

t/peano/expected.ekore

@@ -18,7 +18,7 @@ endmodule [  ]
 
 module C-INJ
   axiom { S1 , S2 , S3 , R } \equals { S3 , R } ( inj { S2 , S3 } ( inj { S1 , S2 } ( T : S1 ) ) , inj { S1 , S3 } ( T : S1 ) ) [  ]
-  symbol inj { From , To } ( From ) : To [  ]
+  symbol inj { From , To } ( From ) : To [ sortInjection{}() ]
 endmodule [  ]
 
 module D-K

t/peano/peano.ekore

@@ -25,7 +25,7 @@ module B-KSEQ
 endmodule [ ]
 
 module C-INJ
-  symbol inj{From,To}(From) : To []
+  symbol inj{From,To}(From) : To [ sortInjection{}() ]
   axiom{S1,S2,S3,R} \equals{S3,R}( inj{S2,S3}(inj{S1,S2}(T:S1)), inj{S1,S3}(T:S1)) []
 endmodule [ ]