According to me,
Fraction of times that the state S2 is expected to appear in the run= 1-(S2 never appears in the run)
S2 never appears in the run is only possible when S1→ S3 only and else S2 will be in every run.
1-(1/3)=2/3
Hence E should be correct.
Please do mention if I’m wrong.