An explorer with depth-first search for finite worlds for the Large Maps Framework (LaMa)