13.20Fail processor

MUnit also has a processor that deliberately fails the test if execution reaches it.

Conceptually:

If code reaches here:
TEST SHOULD FAIL

Useful for proving:

this branch must never execute

although most of the time explicit assertions/verifications are clearer.