let is_irreducible env h = List.exists (eq_nodes h) env.irreducible