Which of the following statements is Decidable?
S1: The set of all TM's that given an input eventually write a non blank symbol on their tapes
S2: The set of all TM's that given an input visits an arbitrary state q
(A). S1 only
(B). S2 only
(C). Both
(D). None