Isn't it satisfying S1 and NOT satisfying S2?

Question

Following is my solution in green color which satisfying S1 but not S2. Am I right?

Answer 1

Yes, your solutions is an alternative one that is correct. The only path of the structure visits the "a"-state, the "b"-state and the "c"-state infinitely often, but there is not state where all these variables hold at the same time, and therefore such a state can also not be visited infinitely often. Albeit larger, your solution is even nicer than the given one.