Predecessor_states loading ...