second test pair (Remark 4.5): relations checked: 689 mismatches: 0
exhaustive weakly-metamonovalued check (principal case): cases: 208 mismatches: 0
