:- include(test_header).

:- must(begin_pfc).

:- show_call(defaultAssertMt(_)).