Word_problem_for_semigroups loading ...