Sims: check that Sims1/2 is initialised before add SimsRefinerIdeals#396

james-d-mitchell merged 1 commit intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:fix-add-prunerjames-d-mitchell/libsemigroups_pybind11:fix-add-prunerCopy head branch name to clipboard