Deal with new isa_ok message format in test_out() tests