MOD: compare_extraction.ml