Update tests

Author: tiif

src/test/mir_fn_bodies.rs

@@ -657,6 +657,16 @@ fn test_invalid_value_in_switch_terminator() {
             }
         ]
         []
-        expect_test::expect!["The value used for switch must be an int."]
+        expect_test::expect![[r#"
+            judgment `prove { goal: {@ is_int(bool)}, assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] }, decls: decls(222, [], [], [], [], [], [], {}, {}) }` failed at the following rule(s):
+              failed at (src/file.rs:LL:CC) because
+                judgment `prove_wc_list { goal: {@ is_int(bool)}, assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] } }` failed at the following rule(s):
+                  the rule "some" failed at step #0 (src/file.rs:LL:CC) because
+                    judgment `prove_wc { goal: @ is_int(bool), assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] } }` failed at the following rule(s):
+                      the rule "ty is int" failed at step #0 (src/file.rs:LL:CC) because
+                        judgment `is_int { goal: bool, assumptions: {}, env: Env { variables: [], bias: Soundness, pending: [] } }` failed at the following rule(s):
+                          the rule "is int" failed at step #0 (src/file.rs:LL:CC) because
+                            condition evaluted to false: `id.is_int()`
+                              id = bool"#]]
     )
 }