In the part b of simulation question the initial state is not present in the final states set, still answer is given as property holds, also all the initial states set should be present to make it hold, moreover q4 isnt the initial state which is mentioned in the description given