Building an irreducible set and logging all steps