Do not use virtual functions for VisitedStates