Removed DebugFile prints from InitialState