Predecessor_state loading ...