Process branch `rule-id` and condition from `kore-rpc` response (#942)

Related:
* runtimeverification/haskell-backend#3716

Blocked on:
* ~runtimeverification/hs-backend-booster#536~

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Petar Maksimović <[email protected]>

Update dependency: deps/k_release (#1070)

Related:
* runtimeverification/k#4146
* runtimeverification/haskell-backend#3761

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

Allowing multiple constraints in splits preceding nodes to be refuted (…

…#1066)

Currently, the refutation mechanism cannot handle the case in which the
split preceding the node to be refuted contains more than one
constraint. Such scenarios, however, have become commonplace given the
newly introduced KCFG minimization mechanism.

This PR extends the refutation mechanism by allowing it to handle splits
with multiple constraints.

---------

Co-authored-by: devops <[email protected]>

Update dependency: deps/k_release (#1068)

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

Only allow letters as first character in `_modname` (#1067)

Related:
* runtimeverification/k#4158

---------

Co-authored-by: devops <[email protected]>

Update dependency: deps/k_release (#1064)

Co-authored-by: devops <[email protected]>
Co-authored-by: Tamás Tóth <[email protected]>

Use total function for variable lookup in `IMP` (#1063)

Related:
runtimeverification/hs-backend-booster#569 (comment)

Updates `IMP` to handle `Map` lookups the same way it is done in the
Booster test suite, which significantly improves execution time for the
Booster.

| Backend |   Old   |   New   |
|---------|---------|---------|
| Legacy  |  10.92s |  11.31s |
| Booster | 130.47s |  13.48s |

---------

Co-authored-by: devops <[email protected]>

Update dependency: deps/k_release (#1062)

Co-authored-by: devops <[email protected]>

Exporting `get_requires` utils function (#1056)

This PR introduces a new file, `utils.py`, which should contain
auxiliary functions that need to be converted from and to llvm but don't
set any field on an object.

In this context we're using a function from llvm backend's
[pattern_matching.cpp](https://github.com/runtimeverification/llvm-backend/blob/e2f583a05b9bf362deabd58f8acc1ce534aaf4c4/lib/ast/pattern_matching.cpp#L174)
to avoid reimplement it in Python. This function is exported as Pyhton
binding in this
[PR](runtimeverification/llvm-backend#1019), and
therefore, the current PR can only be merged after we merge the LLVM
Backend one.

---------

Co-authored-by: devops <[email protected]>

Update dependency: deps/k_release (#1061)

Co-authored-by: devops <[email protected]>