Initial state of the Producer state-match test