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