mutable current_conflict = (None : (string * string) option)