Merge pull request #2817 from adri326/fix-2815-run_module_predicate-backtrack

Fix backtracking on the topmost predicate triggering UB in run_module_predicate

diff --cc src/machine/lib_machine/mod.rs
Simple merge

diff --cc src/machine/mod.rs
Simple merge