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