Regression for tests with closures

- `and_then_closure`
- `closure_acces_struct`

Author: dkcumming

…ration/data/prove-rs/and_then_closure.rs …n/data/prove-rs/and_then_closure-fail.rskmir/src/tests/integration/data/prove-rs/and_then_closure.rs renamed to kmir/src/tests/integration/data/prove-rs/and_then_closure-fail.rs kmir/src/tests/integration/data/prove-rs/and_then_closure.rs renamed to kmir/src/tests/integration/data/prove-rs/and_then_closure-fail.rs

@@ -0,0 +1,15 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (142 steps)
+└─ 3 (stuck, leaf)
+    #traverseProjection ( toLocal ( 2 ) , Aggregate ( variantIdx ( 0 ) , ListItem (
+    span: 157
+
+
+┌─ 2 (root, leaf, target, terminal)
+│   #EndProgram ~> .K
+
+

…n/data/prove-rs/closure_access_struct.rs …a/prove-rs/closure_access_struct-fail.rskmir/src/tests/integration/data/prove-rs/closure_access_struct.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs kmir/src/tests/integration/data/prove-rs/closure_access_struct.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs

@@ -0,0 +1,15 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (196 steps)
+└─ 3 (stuck, leaf)
+    #traverseProjection ( toLocal ( 2 ) , Aggregate ( variantIdx ( 0 ) , ListItem (
+    span: 125
+
+
+┌─ 2 (root, leaf, target, terminal)
+│   #EndProgram ~> .K
+
+

kmir/src/tests/integration/data/prove-rs/show/and_then_closure-fail.main.expected

@@ -63,6 +63,8 @@
     'test_offset_from-fail',
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
+    'and_then_closure-fail',
+    'closure_access_struct-fail',
 ]