This change promotes the capability to support user-defined classes from the concrete implementation of `FileProgramStateManager` to the abstract interface and makes it easier to write loops that contain program state containing user-defined classes.

PiperOrigin-RevId: 413696492