Finitely_presented_group loading ...