Implemented -mine_split option to extract pass