nitc :: POSetConflictGraph :: add_conflicts
private fun add_conflicts(es: Collection[E]) do for e1 in es do for e2 in es do add_conflict(e1, e2) end end