<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def has_readonly(self, s):
 """Tests whether store `s` is read-only."""

        for t in self.transitions:
            if list(t.lhs[s]) != list(t.rhs[s]):
                return False
        return True