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