Add infinite initial state.