* main_spatch.ml: more refactoring for case sensitivity and diff splitter