Extraction Inline Dcompare_inf Zcompare_rec.