Update dependency: deps/k_release (#2357)

* deps/k_release: v5.0.0-2440f2e

* test/issue-2205: Add $PGM to configuration

* test/issue-2010: Add $PGM to configuration

Co-authored-by: Thomas Tuegel <[email protected]>

Author: rv-jenkins

deps/k_release

@@ -1 +1 @@
-v5.0.0-1af793e
+v5.0.0-2440f2e

test/imp/run-stepf-repl-script-spec.k.out.golden

@@ -1,8 +1,8 @@
 Kore (0)> ProveStepsF 11
 Kore (10)> ProveStepsF 4
-Kore (17)> ProveStepsF 1000
+Kore (15)> ProveStepsF 1000
 Proof completed on all branches.
-Kore (17)> Prove (Left (ClaimIndex {unClaimIndex = 1}))
+Kore (15)> Prove (Left (ClaimIndex {unClaimIndex = 1}))
 Switched to proving claim 1
 Kore (0)> ProveStepsF 1000
 Proof completed on all branches.

test/issue-2010/test.k

@@ -6,7 +6,7 @@ module TEST
                       | "None"
     syntax MaybeInt ::= f() [function, functional, no-evaluators]
 
-    configuration <k> f() </k>
+    configuration <k> $PGM:MaybeInt </k>
 
     rule <k> None => true ... </k>
     rule <k> Some I => I ... </k>

test/issue-2205/test.k

@@ -1,6 +1,6 @@
 module TEST
     imports INT
-    configuration <k> init </k>
+    configuration <k> $PGM:KItem </k>
     syntax KItem ::= "init" | "one" | "two"
     rule <k> init => ?_:Int </k>
     rule <k> 1 => one </k>