Use MonoState2 for second run
Add docstring to add_monostate_property()