let add_irreducible env h = { env with irreducible = h :: env.irreducible}