Rewrite some of the `mi` example unit tests to avoid using message broadcasting where on of the messages is really a call to a Prolog built-in predicate