Add traverseFrzn_ to SLMap to catch it up with PureMap