method remaining_conflicts = List.length (List.filter (function Conflict _ -> true | _ -> false) remain)